package batsat
OCaml bindings for batsat, a SAT solver in rust
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.tar.gz
md5=3a2a576ef335ff73ca4004f507271049
sha512=5be97404493b1decc1ca5be6a56d162dd58cb908a9c74c8828f8a74007c12156526d5c9da67b78707da846a95b65c0914ede0cc5e7a52b1ed5d3dfa14860e3e9
Description
README
Dependencies (3)
-
conf-rust-2018
build -
dune
>= "1.3.0" -
ocaml
>= "4.06.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None