batsatversion Documentation on ocaml.org
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.4.tar.gz md5=120605f7eb26f5af7430906783107a69 sha512=36d1a9d6e8302d43049094c33103bcca71f575908406315f3830c9595dfb5053d6a79034344200d53276e4e8db9bf386d693594ca4eb51a31399152cc8c6bdf8 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/batsat/batsat.0.4/opam |
No package is dependent
