4 results found Sort:

pysmt
pysmt pysmt
126
550
apache-2.0
17
pySMT: A library for SMT formulae manipulation and solving
smt python formula python-3 constraints verification satisfiability-modulo-theories
Created 2014-12-01
1,657 commits to master branch, last one 5 days ago
johnyf
tool_lists johnyf
82
362
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 10 months ago
SRI-CSL
yices2 SRI-CSL
45
359
gpl-3.0
24
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,254 commits to master branch, last one 5 days ago
OCamlPro
alt-ergo OCamlPro
33
126
other
15
OCamlPro public development repository for Alt-Ergo
satisfiability-modulo-theories
Created 2014-02-07
1,174 commits to next branch, last one 8 days ago