GitHub repository: marcogario/pysmt
Description: pySMT: A library for SMT formulae manipulation and solving