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.5.tar.gz md5=ae4a6feb34787f8814671af796e8cf5b sha512=41c6c4ba2149a1afed90c7e55122dfe7239fba7221d649152549f42285b887d0cd62ac434d76eac58527b635afa4adc9d1c183cbd921eb6f927baa76371559eb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.5/opam |
Required by
