minisat

Bindings to Minisat-C-1.14.1, with the solver included
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

minisat

Documentation: Minisat