minisatversion Documentation on ocaml.org
Bindings to Minisat-C-1.14.1, 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/archive/v0.3.tar.gz md5=f680652b0414d00c406c6f2a6ae4dc8f sha512=9ca23af313b1111d38b84b2169b326d288616cdb43295ce9fe1178b74d9b5950019558653ecdd85847f246e9df120c8a43ac09d90bef41d0097466ac7cddca4b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.3/opam |
Required by
- ocaml-sat-solvers<0.7
- pgsolver<4.4
- touist
