minisatversion
Bindings to the SAT solver Minisat, with the solver included.
Tags | minisat solver SAT |
---|---|
Author | simon.cruanes.2007@m4x.org |
License | BSD-2-clause |
Published | |
Homepage | https://github.com/c-cube/ocaml-minisat/ |
Issue Tracker | https://github.com/c-cube/ocaml-minisat/issues |
Maintainer | simon.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 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.6/opam |
Required by