package minisat
Bindings to Minisat-C-1.14.1, with the solver included
Install
Dune Dependency
Authors
Maintainers
Sources
v0.5.tar.gz
md5=ae4a6feb34787f8814671af796e8cf5b
sha512=41c6c4ba2149a1afed90c7e55122dfe7239fba7221d649152549f42285b887d0cd62ac434d76eac58527b635afa4adc9d1c183cbd921eb6f927baa76371559eb
doc/index.html
On This Page