Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
PV1
⊧
pySMT: a Python API for SMT
provides 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
.