batsat

OCaml bindings for batsat, a SAT solver in rust
Description
Install
minisat solver SAT
Documentation github.com Edit opam file
Published
21 May 2021
Authors
Maintainers
Sources
v0.6.tar.gz
md5=4f0c3d560103914306496f51edf263a2 sha512=a184d4649b5a8a72495413a483c7bd8509da42f11b099f22ebc76da58f523e7bb4903679a5a0c3686633d9fe57a6801d923e88c68de6e4f316ab2cb2626a9cc6
Dependencies
conf-rust-2018 build
odoc with-doc
dune >= "1.3.0"
ocaml >= "4.06.0"
Reverse Dependencies
Conflicts
base-domains