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