package minisat
Bindings to Minisat-C-1.14.1, with the solver included
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.tar.gz
sha256=e9787039c5dca28c8879d8a754ab67346c286b9a472cc0d0d618f20653d15a44
md5=792f4ba8fb4fe03948d006f2d33aaf04
doc/index.html
On This Page