An interface to SAT solver tools (like minisat)