minisatversion

Bindings to the SAT solver Minisat, with the solver included.

Tags minisat solver SAT
Authorsimon.cruanes.2007@m4x.org
LicenseBSD-2-clause
Published
Homepagehttps://github.com/c-cube/ocaml-minisat/
Issue Trackerhttps://github.com/c-cube/ocaml-minisat/issues
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/c-cube/ocaml-minisat/releases/download/v0.6/minisat-0.6.tbz
sha256=e407a60be9c495d449be8a0ad955941ac1639515bad19fdbacd4a15d5aaf6605
sha512=17a5eafd2afb2cb3e829a0b7eb32c14de5ebeeaed12ecfc4f58410c9b582918595c6c31facbbda126e9fd394d3846e14f961cab529d41ac82b0775930246e5fa
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.6/opam