minisatversion Documentation on ocaml.org
Bindings to Minisat, with the solver included (no external dependency)
| Tags | minisat solver SAT |
|---|---|
| Author | simon.cruanes@inria.fr |
| Published | |
| Homepage | https://github.com/c-cube/ocaml-minisat/ |
| Issue Tracker | https://github.com/c-cube/ocaml-minisat/issues |
| Maintainer | simon.cruanes@inria.fr |
| Dependencies |
|
| Source [http] | https://github.com/c-cube/ocaml-minisat/archive/0.1.tar.gz sha256=6d59ab916b5eb8ee63f85b1de46d417ffe98b1efcae02a71abf3f31fae4e68ab md5=35b2a371c0a59150c025b72184169bec |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.1/opam |
Required by
- ocaml-sat-solvers<0.7
- pgsolver<4.4
- touist
