Skip to content
Faithful reimplementation of Minisat 2.2 in OCaml.
Branch: master
Clone or download

README.md

Minisat.ml

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.

License

MIT license, following the original minisat 2.2 source code. This was adapted to OCaml by Simon Cruanes at Aesthetic Integration.

You can’t perform that action at this time.