5 results found Sort:

pysmt
pysmt pysmt
130
574
apache-2.0
18
pySMT: A library for SMT formulae manipulation and solving
smt python formula python-3 constraints verification satisfiability-modulo-theories
Created 2014-12-01
1,660 commits to master branch, last one 3 months ago
SRI-CSL
yices2 SRI-CSL
47
371
gpl-3.0
25
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,265 commits to master branch, last one 5 days ago
johnyf
tool_lists johnyf
81
368
cc0-1.0
44
Links to tools by subject
tools smtlib synthesis verification formal-methods model-checking theorem-prover proof-assistant static-analysis theorem-proving satisfiability-solver binary-decision-diagrams satisfiability-modulo-theories
Created 2013-09-24
1 commits to main branch, last one about a year ago
OCamlPro
alt-ergo OCamlPro
33
133
other
16
OCamlPro public development repository for Alt-Ergo
satisfiability-modulo-theories
Created 2014-02-07
1,251 commits to next branch, last one 6 days ago
elsoroka
Satisfiability.jl elsoroka
4
29
mit
4
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
smt-lib satisfiability-modulo-theories
Created 2023-04-16
341 commits to main branch, last one 2 months ago