minisatversion Documentation on ocaml.org
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
