Trending
See what the GitHub community is most excited about today.
-
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
-
The Yices SMT Solver
-
mbed HDK
-
New version of the dReal solver. More info at
-
Fusion 360 design files for various boards, components and parts
-
A library for Proof Theory (especially Proof Compression) in Scala.
-
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
-
Please check dreal3 instead.
-
Test and benchmark repository for Z3.
-
Tons of Inductive Problems: The Benchmarks
-
SMT Solver for Nonlinear Theories of Reals
-
A hub for sharing ideas on planning, executing and evaluating benchmarks.
-
WEEDINATOR agricultural robot files
-
A modular SMT solver in OCaml, based on mcSAT
-
discrete interval encoding trees (DIETs) - deprecated in favour of https://github.com/andrewthad/primitive-containers/tree/master/src-diet-map-indef
-
A Fast Floating-Point Satisfiability Solver
-
Designs for a miniaturized plate reader for high-throughput phenotypic screening.
-
AE-solver and Skolemizer
-
An IoT development module that supports the Tock operating system.
-
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
-
Collection of MaxSMT solvers
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
-
