minisat

Bindings to Minisat, with the solver included (no external dependency)
Description
Install
Published
09 Feb 2017
Sources
0.1.tar.gz
md5=35b2a371c0a59150c025b72184169bec
Dependencies
ocaml
>= "4.00.0"
Reverse Dependencies