Basic specification for a SAT solver.