SMT


Total Packages: 30


Popular SMT Packages See more »

cvc5
Python bindings for cvc5 (BSD version)
Latest release 1.3.1 - Updated - 1.18K stars
cvc5-gpl
Python bindings for cvc5 (GPL version)
Latest release 1.3.1 - Updated - 1.18K stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.19199673826 - Updated - 354 stars
aws-smt-ir-derive
Intermediate representation for SMT problems
Latest release 0.1.2 - Updated - 40 stars
aws-smt-ir
Intermediate representation for SMT problems
Latest release 0.3.0 - Updated - 40 stars

New SMT Packages See more »

pypatronus
The hardware bug-finding toolkit for Python programmers.
Latest release 0.34.2 - Published - 11 stars
tools.aqua:konstraints-core
A library for working with SMT expressions on the JVM
Latest release 0.3 - Published - 1 stars
tools.aqua:konstraints-all
The Konstraints library and all accompanying solver plugins
Latest release 0.3 - Published - 1 stars
tools.aqua:konstraints-z3
Z3 support for the Konstraints library
Latest release 0.3 - Published - 1 stars
tools.aqua:jconstraints-metasolver
jConstraints-metasolver is the solver strategy plug-in for jConstraints
Latest release 0.9.9 - Published - 4 stars

Updated SMT Packages See more »

PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.19199673826 - Updated - 354 stars
cvc5-gpl
Python bindings for cvc5 (GPL version)
Latest release 1.3.1 - Updated - 1.18K stars
cvc5
Python bindings for cvc5 (BSD version)
Latest release 1.3.1 - Updated - 1.18K stars
patronus
Hardware bug-finding toolkit.
Latest release 0.34.1 - Updated - 11 stars
polyqent
PolyQEnt is a solver for Polynomial Horn Clauses (PHC).
Latest release 0.0.15 - Updated - 6 stars

Most Depended upon SMT Packages

cvc5
Python bindings for cvc5 (BSD version)
Latest release 1.3.1 - Updated - 1.18K stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.19199673826 - Updated - 354 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
dreal
SMT Solver for Nonlinear Theories of Reals
Latest release 4.21.6.2 - Updated - 151 stars

Top SMT Licenses

Apache-2.0 15 projects

CC-BY-4.0 4 projects

MIT 4 projects

BSD-3-Clause 2 projects

GPL-3.0 2 projects

Top SMT Package Managers

Maven 17 projects

PyPI 8 projects

Cargo 5 projects