minisat

Authorsimon.cruanes@inria.fr
Homepagehttps://github.com/c-cube/ocaml-minisat/
Issue Trackerhttps://github.com/c-cube/ocaml-minisat/issues
Tagsminisat, solver and SAT
Maintainersimon.cruanes@inria.fr
Dependencies
ocamlfind
Availableocaml-version >= "4.00.0"
PublishedFeb 9, 2017
Source [http] https://github.com/c-cube/ocaml-minisat/archive/0.1.tar.gz
35b2a371c0a59150c025b72184169bec
StatisticsInstalled 52 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.1/opam

Bindings to Minisat, with the solver included (no external dependency)