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=120605f7eb26f5af7430906783107a69

sha512=36d1a9d6e8302d43049094c33103bcca71f575908406315f3830c9595dfb5053d6a79034344200d53276e4e8db9bf386d693594ca4eb51a31399152cc8c6bdf8

README.md.html

BatSat-OCaml

OCaml bindings to batsat.

License

MIT licensed.