Pinned Loading

1. dolmen dolmen Public

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

   OCaml 84 18

2. mSAT mSAT Public

   A modular sat/smt solver with proof output.

   OCaml 99 8

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 27 5

4. ocaml-memgraph ocaml-memgraph Public

   A small library to output memory graph for ocaml values

   OCaml 37 3

5. sneeuwballen/benchpress sneeuwballen/benchpress Public

   Testing and benchmarking tool for logic-related programs.

   OCaml 26 8

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

   QuickCheck inspired property-based testing for OCaml.

   OCaml 368 41