minisatversion

Bindings to Minisat-C-1.14.1, with the solver included

Tags minisat solver SAT
Authorsimon.cruanes.2007@m4x.org
LicenseBSD-2-clause
Published
Homepagehttps://github.com/c-cube/ocaml-minisat/
Issue Trackerhttps://github.com/c-cube/ocaml-minisat/issues
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/c-cube/ocaml-minisat/archive/0.2.tar.gz
sha256=e9787039c5dca28c8879d8a754ab67346c286b9a472cc0d0d618f20653d15a44
md5=792f4ba8fb4fe03948d006f2d33aaf04
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/minisat/minisat.0.2/opam