An interface to SAT solver tools (like minisat) - View it on GitHub