Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
CVC4 / CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT • Built by
-
pysmt / pysmt
pySMT: A library for SMT formulae manipulation and solving
SMT • Built by
-
eclsnowman / Eustathios-Spider-V2
Update to Eustathios with a little bit of HercuLien Design Changes
SMT • Built by
-
Paradoxika / Skeptik
A library for Proof Theory (especially Proof Compression) in Scala.
SMT • Built by
-
dreal / dreal
Old version of dReal. Please check dreal3 instead.
SMT • Built by
-
regb / scala-smtlib
SMT-LIB format library for Scala
SMT • Built by
-
regb / cafesat
The CafeSat SMT solver for Scala
SMT • Built by
-
dreal / dreal3
New version of the dReal solver. More info at
SMT • Built by
-
tiliang / CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT • Built by
-
marcelosousa / smtlib
SMT-Lib v2 Tools for Haskell and Agda
SMT • Built by
-
tip-org / benchmarks
Tons of Inductive Problems: The Benchmarks
SMT • Built by
-
Z3Prover / z3test
Test and benchmark repository for Z3.
SMT • Built by
-
csbl / platereader
Designs for a miniaturized plate reader for high-throughput phenotypic screening.
SMT • Built by
-
mihasighi / smtcomp14-sl
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
SMT • Built by
-
ahorn / benchmarks
A hub for sharing ideas on planning, executing and evaluating benchmarks.
SMT • Built by
-
mechtaev / maxsmt-playground
Collection of MaxSMT solvers
SMT • Built by
-
coco-team / benchmarks
SMT • Built by
-
qsphan / aZ3
A solver for All-solution Satisfiabiiity Modulo Theories
SMT • Built by
-
timothy-king / CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT • Built by
-
EzequielPostan / Skeptik
A library for Proof Theory (especially Proof Compression) in Scala.
SMT • Built by
-
realyasswl / 2IW15-Automated-Reasoning
SMT • Built by
-
timothy-king / CVC4SepLogic
A fork of CVC4 for developing a theory solver for separation logic.
SMT • Built by
-
TrustworthyFactory / TestFactory
-
marcelosousa / progmerge
SMT • Built by
-
soonhokong / dReal-osx
DO NOT FORK - It's only for triggering OSX build
SMT • Built by
