package minisat
Bindings to Minisat, with the solver included (no external dependency)
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.tar.gz
sha256=6d59ab916b5eb8ee63f85b1de46d417ffe98b1efcae02a71abf3f31fae4e68ab
md5=35b2a371c0a59150c025b72184169bec
Description
Dependencies (3)
-
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.00.0" & < "5.0.0"
Dev Dependencies
None
Used by (3)
-
ocaml-sat-solvers
< "0.7" - pgsolver
- touist
Conflicts
None
On This Page