Edit Package ocaml-minisat

Simple bindings to Minisat-C

https://github.com/c-cube/ocaml-minisat

Bindings to Minisat-C-1.14.1, with the solver included

Refresh
Refresh
Source Files
Filename Size Changed
_service 0000001049 1.02 KB about 1 year
ocaml-minisat-0.3.tar.xz 0000013776 13.5 KB about 1 year
ocaml-minisat.changes 0000000139 139 Bytes about 1 year
ocaml-minisat.spec 0000001690 1.65 KB about 1 year
Comments for ocaml-minisat 0
openSUSE Build Service is sponsored by