GitHub repository: CDMSEU/psitip
Description: Python Symbolic Information Theoretic Inequality Prover