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.exe | Windows self-installing executable |
Xitipsetup.zip | Windows self-installing executable, zipped |
Source Downloads:
Xitip.tar.gz | Linux binary and source code |
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.pdf | Detailed technical report. |
Screenshots:
So far, there is only one screenshot available.
Contact:
Please send your feedback and suggestions to etienne DOT perron AT epfl DOT ch.
Links: