Skip to content
/ witip Public
forked from lcsirmaz/witip

web based information theoretic inequality prover

Notifications You must be signed in to change notification settings

csirmaz/witip

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

witip - a web based Information Theoretic Inequality Prover

This is a port of minitip as a web based utility. The server-side routines are written in perl with the exception of the LP solver engine which is C frontend to glpk, the Gnu Linear Programming Kit.

Requirements

Once the server is up and running, you can use wITIP with any decent browser.

On the server-side:

  • an Apache webserver with mod_perl configured in;
  • the glpk header files and runtime library;
  • perl interpreter and a C complier

Server-side installation

Unpack wITIP and run the program

PROMPT> perl bin/install.pl

It asks questions, and configures all necessary files; creates and include file to be included in the Apache configuration. If everything goes smoothly, edit the Apache configuration, and restart Apache. wITIP should be up and running.

Content

  • bin for install.pl and the perl startup file
  • config the generated apache include file is here
  • html static html files: starting page, images, style sheets and javascript
  • w dynamic html files
  • perl_lib perl library
  • prog the C frontend to the LP solver
  • template template files to the install script

About

web based information theoretic inequality prover

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Perl 65.0%
  • JavaScript 22.8%
  • CSS 5.9%
  • HTML 3.2%
  • C 3.1%