PinnedLoading

1. dolmendolmenPublic

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

   OCaml 84 18

2. mSATmSATPublic

   A modular sat/smt solver with proof output.

   OCaml 99 8

3. archsatarchsatPublic

   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-memgraphocaml-memgraphPublic

   A small library to output memory graph for ocaml values

   OCaml 37 3

5. sneeuwballen/benchpresssneeuwballen/benchpressPublic

   Testing and benchmarking tool for logic-related programs.

   OCaml 26 8

6. c-cube/qcheckc-cube/qcheckPublic

   QuickCheck inspired property-based testing for OCaml.

   OCaml 368 41