README (p.minisat.0.4.doc.README)

Up – Package index » minisat » README

Minisat

Bindings to Minisat-C-1.14.1, with the solver included.

Docs

minisat
- CHANGELOG
- README
- Library minisat
  - Minisat
- Sources

Docs

See https://c-cube.github.io/ocaml-minisat/