Adding a generic SAT solver.