SMT


Total Packages: 57

Popular SMT Packages See more »

cvc5
Python bindings for cvc5 (BSD version)
Latest release 1.4.2 - Updated - 1.37K stars
org.sosy-lab:javasmt-solver-z3
SMT solver Z3 for use in JavaSMT
Latest release 4.16.0 - Updated - 242 stars
cvc5-gpl
Python bindings for cvc5 (GPL version)
Latest release 1.4.2 - Updated - 1.37K stars
io.github.cvc5:cvc5
Java bindings for cvc5, an open-source automatic theorem prover for SMT problems
Latest release 1.4.0 - Updated - 1.37K stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.19342042739 - Updated - 354 stars

New SMT Packages See more »

pyaria
A library for various automated reasoning tasks including SMT solving, model counting, and symbol...
Latest release 0.2.0 - Published - 15 stars
org.sosy-lab:javasmt-solver-z3-legacy
SMT solver Z3 (legacy version with interpolation) for use in JavaSMT
Latest release 4.5.0-gd57a2a6dc - Published - 242 stars
tools.aqua:jconstraints-metasolver
jConstraints-metasolver is the solver strategy plug-in for jConstraints
Latest release 0.9.9 - Published - 7 stars
tools.aqua:jconstraints-core
jConstraints is a library for managing SMT constraints in Java
Latest release 0.9.9 - Published - 7 stars
tools.aqua:jconstraints-z3
jConstraints-Z3 is the Z3 API plug-in for jConstraints
Latest release 0.9.9 - Published - 7 stars

Updated SMT Packages See more »

cvc5-gpl
Python bindings for cvc5 (GPL version)
Latest release 1.4.2 - Updated - 1.37K stars
cvc5
Python bindings for cvc5 (BSD version)
Latest release 1.4.2 - Updated - 1.37K stars
pypatronus
The hardware bug-finding toolkit for Python programmers.
Latest release 0.39.6 - Updated - 16 stars
patronus
Hardware bug-finding toolkit.
Latest release 0.39.5 - Updated - 16 stars
io.github.cvc5:cvc5
Java bindings for cvc5, an open-source automatic theorem prover for SMT problems
Latest release 1.4.0 - Updated - 1.37K stars

Most Depended upon SMT Packages

cvc5
Python bindings for cvc5 (BSD version)
Latest release 1.4.2 - Updated - 1.37K stars
org.sosy-lab:javasmt-solver-z3
SMT solver Z3 for use in JavaSMT
Latest release 4.16.0 - Updated - 242 stars
org.sosy-lab:java-smt
Unified acccess layer to SMT solvers
Latest release 6.0.0-499-gf35a21a8e - Updated - 242 stars
PyBoolector
Python wrapper around the Boolector SMT solver
Latest release 3.2.4.19342042739 - Updated - 354 stars
tools.aqua:konstraints-core
A library for working with SMT expressions on the JVM
Latest release 0.4 - Updated - 1 stars

Top SMT Licenses

Apache-2.0 19 projects

MIT 10 projects

DSDP 9 projects

GPL-3.0 6 projects

CC-BY-4.0 4 projects

BSD-3-Clause 2 projects

Zed 2 projects

BSD-1-Clause 1 project

Top SMT Package Managers

Maven 39 projects

PyPI 12 projects

Cargo 6 projects