minisatversion

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

Tags minisat solver SAT
Authorsimon.cruanes@inria.fr
Published
Homepagehttps://github.com/c-cube/ocaml-minisat/
Issue Trackerhttps://github.com/c-cube/ocaml-minisat/issues
Maintainersimon.cruanes@inria.fr
Dependencies
Source [http] https://github.com/c-cube/ocaml-minisat/archive/0.1.tar.gz
md5=35b2a371c0a59150c025b72184169bec
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.1/opam