yacs.solver.fdsolver.search
Classes 
BacktrackingSolver
DomDegRatioVariableOrdering
MAC3Solver
MACSolver
SingleSolutionBTSolver