Xitip is a software tool to prove Information theoretic inequalities. The tool will check the correctness of any valid information inequality. A valid information inequality refers to a linear inequality involving measures such as (single, conditional or joint ) entropy and mutual informations. Optional information theoretic constraints (such as Markov chains, independence, deterministic functionals) can be provided.

More information along with software downloads can be found on the Xitip website http://xitip.epfl.ch. Linux, Mac, Windows (Cygwin as well as standalone executable) versions are available.