c-cube

OCaml bindings to Minisat

OCaml bindings for batsat (https://github.com/c-cube/batsat)

[UNSUPPORTED] nano IO event loop

compatibility package for the standard OCaml iterator type

[unfinished] Jsonrpc2 for OCaml, parametrized by the underlying IO.

[wip] Reimplementation of thrift in OCaml

proof of concept for https://github.com/ocaml/RFCs/pull/19

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

[frozen] Scheduling and running jobs on a shared computer, then analyse their output

[unfinished] structured, hierarchical log system for OCaml

[toy] ocaml client for gemini

[bench] benchmark of various iterator implementations

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.

[toy] And-Inverter Graph in OCaml