SMT


Total Packages: 25

Popular SMT Packages See more »

cvc5
Python bindings for cvc5
Latest release 1.2.0 - Updated - 1.02K stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.20240823.1 - Updated - 330 stars
cvc5-gpl
Python bindings for cvc5
Latest release 1.2.0 - Published - 1.02K stars
aws-smt-ir-derive
Intermediate representation for SMT problems
Latest release 0.1.2 - Updated - 27 stars
aws-smt-ir
Intermediate representation for SMT problems
Latest release 0.3.0 - Updated - 27 stars

New SMT Packages See more »

cvc5-gpl
Python bindings for cvc5
Latest release 1.2.0 - Published - 1.02K stars
tools.aqua:jconstraints-metasolver
jConstraints-metasolver is the solver strategy plug-in for jConstraints
Latest release 0.9.9 - Published - 4 stars
tools.aqua:jconstraints-core
jConstraints is a library for managing SMT constraints in Java
Latest release 0.9.9 - Published - 4 stars
tools.aqua:jconstraints-z3
jConstraints-Z3 is the Z3 API plug-in for jConstraints
Latest release 0.9.9 - Published - 4 stars
tools.aqua:jconstraints-runner
JConstraints runner and metric analyzer
Latest release 0.9.9 - Published - 4 stars

Updated SMT Packages See more »

polyhorn
PolyHorn is a solver for Polynomial Horn Clauses (PHC).
Latest release 0.0.7 - Updated - 2 stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.20240823.1 - Updated - 330 stars
cvc5
Python bindings for cvc5
Latest release 1.2.0 - Updated - 1.02K stars
jz3
A simple wrapper for Z3 solver
Latest release 0.1.12 - Updated - 1 stars
aws-smt-ir
Intermediate representation for SMT problems
Latest release 0.3.0 - Updated - 27 stars

Most Depended upon SMT Packages

PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.20240823.1 - Updated - 330 stars
cvc5
Python bindings for cvc5
Latest release 1.2.0 - Updated - 1.02K stars
aws-smt-ir-derive
Intermediate representation for SMT problems
Latest release 0.1.2 - Updated - 27 stars
com.regblanc:scala-smtlib_2.12
scala-smtlib
Latest release 0.2.2 - Updated - 44 stars
com.regblanc:scala-smtlib_2.11
scala-smtlib
Latest release 0.2.2 - Updated - 44 stars

Top SMT Licenses

Apache-2.0 12 projects

MIT 6 projects

BSD-3-Clause 2 projects

GPL-3.0 2 projects

CC-BY-4.0 1 project

CNRI-Python-GPL-Compatible 1 project

Top SMT Package Managers

Maven 14 projects

PyPI 7 projects

Cargo 4 projects