psitip (pypi): Python Symbolic Information Theoretic Inequality Prover
Keywords: first-order-logic|information-theory|optimization|prover|python|theorem-prover|theorem-proving