GitHub repository: optimathsat-team/pyomt
Primary language: Python
Description: pySMT: A library for SMT formulae manipulation and solving