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