package ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.4.tar.gz
md5=8a30be38ada59a6c1e0ecc4185d176d4
Description
An abstraction layer for integrating SAT Solvers into OCaml.
Published: 15 Nov 2018
Dependencies (4)
-
ocamlfind
build
-
ocamlbuild
build
- minisat
-
ocaml
>= "4.03.0" & < "5.0.0"
Dev Dependencies
None
Used by (1)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page