Guillaume Bury

mSAT. A modular sat/smt solver with proof output.

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

ocaml-memgraph. A small library to output memory graph for ocaml values

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

ocaml-cgroups. OCaml interface to cgroups

Ocaml-simplex. An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.

sat-bench. A small repo to test and benchmark different sat solvers

format_bridge_bot_output. A WeeChat script to intercept and format messages from a bridge bot

hashcode18. Foobar

4ever. Database for dance competitions and scoring systems

logf. Structured logging for OCaml

tune.