SMT


Total Packages: 22

Popular SMT Packages See more »

cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Latest release 1.1.2 - Updated - 913 stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.3.20240305.1 - Updated - 305 stars
aws-smt-ir
Intermediate representation for SMT problems
Latest release 0.3.0 - Updated - 27 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

New SMT Packages See more »

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
tools.aqua:jconstraints-benchmarktest
jConstraints-BenchmarkTest is a JUnit 5 argument provider for testing solver bindings
Latest release 0.9.9 - Published - 4 stars

Updated SMT Packages See more »

jz3
A simple wrapper for Z3 solver
Latest release 0.1.9 - Updated
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.3.20240305.1 - Updated - 305 stars
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Latest release 1.1.2 - Updated - 913 stars
aws-smt-ir
Intermediate representation for SMT problems
Latest release 0.3.0 - Updated - 27 stars
aws-smt-ir-derive
Intermediate representation for SMT problems
Latest release 0.1.2 - Updated - 27 stars

Most Depended upon SMT Packages

cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Latest release 1.1.2 - Updated - 913 stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.3.20240305.1 - Updated - 305 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
amzn-smt-ir-derive
Intermediate representation for SMT problems
Latest release 0.1.0 - Published - 27 stars

Top SMT Licenses

Apache-2.0 11 projects

MIT 4 projects

GPL-3.0 2 projects

BSD-3-Clause 1 project

Top SMT Package Managers

Maven 13 projects

PyPI 5 projects

Cargo 4 projects