a small CDCL-based SAT solver written in OCaml.