Minisat Bindings to the SAT solver Minisat 2.2, with the solver included. Docs See https://c-cube.github.io/ocaml-minisat/
