Pinned Loading

1. dolmen dolmen Public

   Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

   OCaml 93 21

2. mSAT mSAT Public

   A modular sat/smt solver with proof output.

   OCaml 104 9

3. archsat archsat Public

   A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

   OCaml 28 5

4. ocaml-memgraph ocaml-memgraph Public

   A small library to output memory graph for ocaml values

   OCaml 41 3

5. sneeuwballen/benchpress sneeuwballen/benchpress Public

   Testing and benchmarking tool for logic-related programs.

   OCaml 33 9

6. c-cube/qcheck c-cube/qcheck Public

   QuickCheck inspired property-based testing for OCaml.

   OCaml 405 47