An interface to SAT solver tools (like minsat)