minisatversion
Bindings to Minisat-C-1.14.1, with the solver included
Tags | minisat solver SAT |
---|---|
Author | [email protected] |
License | BSD-2-clause |
Published | |
Homepage | https://github.com/c-cube/ocaml-minisat/ |
Issue Tracker | https://github.com/c-cube/ocaml-minisat/issues |
Maintainer | [email protected] |
Dependencies | |
Source [http] | https://github.com/c-cube/ocaml-minisat/archive/0.2.tar.gz sha256=e9787039c5dca28c8879d8a754ab67346c286b9a472cc0d0d618f20653d15a44 md5=792f4ba8fb4fe03948d006f2d33aaf04 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.2/opam |
Required by