REF: reorganize a bit depsolver.solver internal organization.
REF: create a Solver class to hold SAT solver internal state.