PV1 pySMT: a Python API for SMTprovides API for creating SMT formulae, manipulating them and converting them for different solvers to use

a Python library for the manipulation and solving of SMT formulae

Application domain/field

SMT solving

Internals

It supports the following solvers: MathSAT, Z3, CVC4, Yices 2, CUDD, PicoSAT, Boolector and any SMT-LIB 2 compliant solver.
Library Python SMT

Links

Repository: https://github.com/pysmt/pysmt

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.