package batsat
OCaml bindings for batsat, a SAT solver in rust
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.tar.gz
md5=120605f7eb26f5af7430906783107a69
sha512=36d1a9d6e8302d43049094c33103bcca71f575908406315f3830c9595dfb5053d6a79034344200d53276e4e8db9bf386d693594ca4eb51a31399152cc8c6bdf8
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