minisat

Author simon.cruanes@inria.fr
Homepage https://github.com/c-cube/ocaml-minisat/
Issue Tracker https://github.com/c-cube/ocaml-minisat/issues
Tags { minisat, solver, SAT }
Maintainer simon.cruanes@inria.fr
Dependencies
ocamlfind
Available ocaml-version >= "4.00.0"
Published Feb 9, 2017
Source [http] http://github.com/c-cube/ocaml-minisat/archive/0.1.tar.gz
35b2a371c0a59150c025b72184169bec
Statistics Installed 18 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.1/opam

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

No package is dependent