package ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml
Install
Authors
Maintainers
Sources
v0.7.1.tar.gz
md5=7e5ccb4b21397c04c579aecd3c618825
Description
An abstraction layer for integrating SAT Solvers into OCaml.
Published: 16 Nov 2022
Dependencies (5)
-
ocamlfind
build
-
ocamlbuild
build
-
z3
>= "4.8.11"
-
minisat
>= "0.4"
-
ocaml
>= "4.08.0" & < "5.0"
Dev Dependencies
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page