package batsat

You can search for identifiers within the package.

in-package search v0.2.0

OCaml bindings for batsat, a SAT solver in rust

Install

Dune Dependency

github.com Readme Edit opam file Versions (4)

Authors

S

simon.cruanes.2007@m4x.org

Maintainers

S

simon.cruanes.2007@m4x.org

Sources

md5=3a2a576ef335ff73ca4004f507271049

sha512=5be97404493b1decc1ca5be6a56d162dd58cb908a9c74c8828f8a74007c12156526d5c9da67b78707da846a95b65c0914ede0cc5e7a52b1ed5d3dfa14860e3e9

README.md.html

BatSat-OCaml

OCaml bindings to batsat.

License

MIT licensed.