Faithful reimplementation of Minisat 2.2 in OCaml.
The goal of this port is to assess the performance impact of using OCaml for heavily optimized imperative programs such as SAT solvers. A report summarizes our conclusions.
MIT license, following the original minisat 2.2 source code. This was adapted to OCaml by Simon Cruanes at Aesthetic Integration.