Program
Verification
Book

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: 28 Oct 2022 (default branch)
Last commit date: 28 Oct 2022 (last activity)

ProVerB specific

Markdown description: view/edit
Reason for this entry: integrates many SMT-LIB-compatible solvers
Contained in the ProVerB22 dataset (paper + artefact)

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