batsatversion Documentation on ocaml.org
OCaml bindings for batsat, a SAT solver in rust
| Tags | minisat solver SAT |
|---|---|
| Author | simon.cruanes.2007@m4x.org |
| License | MIT |
| 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/v0.6.tar.gz md5=4f0c3d560103914306496f51edf263a2 sha512=a184d4649b5a8a72495413a483c7bd8509da42f11b099f22ebc76da58f523e7bb4903679a5a0c3686633d9fe57a6801d923e88c68de6e4f316ab2cb2626a9cc6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/batsat/batsat.0.6/opam |
No package is dependent
