batsatversion
OCaml bindings for batsat, a SAT solver in rust
| Tags | minisat solver SAT |
|---|---|
| Author | simon.cruanes.2007@m4x.org |
| Published | |
| Homepage | https://github.com/c-cube/batsat-ocaml/ |
| Issue Tracker | https://github.com/c-cube/batsat-ocaml/issues |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies |
|
| Conflicts | |
| Source [http] | https://github.com/c-cube/batsat-ocaml/archive/0.5.tar.gz md5=3a2a576ef335ff73ca4004f507271049 sha512=5be97404493b1decc1ca5be6a56d162dd58cb908a9c74c8828f8a74007c12156526d5c9da67b78707da846a95b65c0914ede0cc5e7a52b1ed5d3dfa14860e3e9 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/batsat/batsat.0.5/opam |
No package is dependent
