[research] A modular SMT solver in OCaml, based on mcSAT
c-cube
An ocaml implementation of conflict-driven reasoning
witan-org