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