Information Theoretic Inequalities Prover

Ecole Polytechnique Fédérale de Lausanne (EPFL)

Information Processing Group (IPG)

 

Xitip

Information theory provides achievable limits of digital communication. The Information theoretic inequalities prover (Xitip) proves or disproves all Shannon type inequalities. The algorithm used in this software was proposed by Raymond Yeung and Ying-On Yan. Xitip is an adaptation of their software, called ITIP, which originally uses the linear programming solver in MATLAB’s Optimization Toolbox. Xitip uses a C-based linear programming solver instead. The core code for parsing information inequalities and setting up the corresponding linear program stems from ITIP.

 

Binary Downloads:

Xitip Linux precompiled binary executable
   
Xitipsetup Windows self-installing executable, zipped

 

Source Downloads:

Xitip.tar Linux binary and source code
On most Linux distributions, you should be able to run the program by executing the binary “Xitip”. To compile from the source, type “make”. For successful compilation, you may have to install GTK2+ and the GTK2+ development files on your Linux machine. Instructions and binaries for Windows and Mac will be available shortly.

 


License:

This program is free, open-source software. You may redistribute it and/or modify it under the terms of the GNU General Public License (GPL) as published by the Free Software Foundation (license).
The linear programming library used (QSopt) is NOT open-source. It can be used at no cost for research or education purposes; all rights to QSopt are maintained by the authors, David Applegate, William Cook, Sanjeeb Dash, and Monika Mevenkamp. More information can be found on the QSopt webpage.
A completely open-source version (using the Gnu LP Kit instead of QSopt) will soon be available on this webpage.

Documentation:

Report Xitip Epfl 2008 Jan Detailed technical report.

Screenshots:

So far, there is only one available.

Links: