Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
-
Update to Eustathios with a little bit of HercuLien Design Changes
-
Precious Plastic Downloadpack
-
Open Thermocycler Implementation
-
New version of the dReal solver. More info at
-
A library for Proof Theory (especially Proof Compression) in Scala.
-
Please check dreal3 instead.
-
Tons of Inductive Problems: The Benchmarks
-
Test and benchmark repository for Z3.
-
A hub for sharing ideas on planning, executing and evaluating benchmarks.
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
-
Collection of MaxSMT solvers
-
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
-
Designs for a miniaturized plate reader for high-throughput phenotypic screening.
-
An approximating SMT solver
-
Minimal unsatisfiable core extractor for SMT
-
Automatically exported from code.google.com/p/jimple2boogie
-
A library for Proof Theory (especially Proof Compression) in Scala.
-
SMT-Lib v2 Tools for Haskell and Agda
-
A solver for All-solution Satisfiabiiity Modulo Theories
-
Benchmarks
-
-
MaxUSE
-
The source code and the traces used in "Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis" paper by Elena Sherman, Brady J. Garvin, Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol)
-
A library for Proof Theory (especially Proof Compression) in Scala.
