package ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
ocaml-sat-solvers-0.8.tbz
sha256=d5e5f3b98eabaeb8dd106fd79e425ee28f7301c52f7d35453b5f99233720a4e5
sha512=caa023cfd102edf0b36d36a9ac2e8a8154491ec68973cae00e8fb4ea19cb22b02634119a5c92110ce03cfea196771afe987f734f7efd7eb0bc21fd96855935fc