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:

XitipLinux precompiled binary executable
Xitipsetup.exeWindows self-installing executable
Xitipsetup.zipWindows self-installing executable, zipped

Source Downloads:

Xitip.tar.gz 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.


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.


report_xitip_epfl_2008_jan.pdf Detailed technical report.


So far, there is only one screenshot available.


Please send your feedback and suggestions to etienne DOT perron AT epfl DOT ch.