OCaml bindings to Minisat
[UNSUPPORTED] nano IO event loop
compatibility package for the standard OCaml iterator type
OCaml bindings for batsat (https://github.com/c-cube/batsat)
[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