minisatversion
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.4.tar.gz md5=a17f04229fcba9f454b3499386f35d5e sha512=e05d49ea0f6b8379c61795f20331b930daba0cb1dde8eb5c0a2810e18d43b997252af5f97fffbf427b890f982ca09b195b8591648bb702e819a191ce13cdee46 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.4/opam |
Required by
