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

Last commit date

14 April 2022

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.