package ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.7.tar.gz
md5=6b0b9a0e359f28ac3a796bc05409e99c
Description
An abstraction layer for integrating SAT Solvers into OCaml.
Published: 10 Nov 2022
Dependencies (5)
-
ocamlfind
build -
ocamlbuild
build -
z3
>= "4.8.11" -
minisat
>= "0.4" -
ocaml
>= "4.08.0" & < "5.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page