SuperSimpleSolverSuite passes
minimize passes
implemented backtracking search
backtracking search passes

up next... constraint learning!