package minisat
Bindings to Minisat, with the solver included (no external dependency)
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.tar.gz
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page