PySMT

PySMT: a solver-agnostic library for fast prototyping of smt-based algorithms. pySMT: A library for SMT formulae manipulation and solving http://www.pysmt.org. pySMT: a Python API for SMT: pySMT makes working with Satisfiability Modulo Theory simple: Define formulae in a simple, intuitive, and solver independent way; Solve your formulae using one of the native solvers, or by wrapping any SMT-Lib complaint solver, Dump your problems in the SMT-Lib format, and more...