A state-based Satisfiability solver.
