pysmt's tracked open-source repos, sorted by stars.
pySMT: A library for SMT formulae manipulation and solving
