sattools

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

Initial release.

Interfaces for minisat, picosat and cryptominisat via their FFI's or DIMACS files.