sattools

Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
Description