package ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.7.tar.gz
sha256=d5cc899b4e1acc3ed751747b688510f3c636cf55d822f393af06ecdb6c45a050
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