satisfiability-modulo-theories topic
List
satisfiability-modulo-theories repositories
gosat
25
Stars
8
Forks
Watchers
SMT solver for the theory of floating-point arithmetic
tool_lists
360
Stars
82
Forks
Watchers
Links to tools by subject
yices2
355
Stars
45
Forks
Watchers
The Yices SMT Solver
pysmt
550
Stars
125
Forks
Watchers
pySMT: A library for SMT formulae manipulation and solving
alt-ergo
126
Stars
33
Forks
Watchers
OCamlPro public development repository for Alt-Ergo
CoSA
60
Stars
15
Forks
Watchers
CoreIR Symbolic Analyzer
ksmt
29
Stars
12
Forks
Watchers
Kotlin/Java API for various SMT solvers
Satisfiability.jl
23
Stars
2
Forks
Watchers
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.