sattools

Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

sattools

Documentation: