yacs.solver
Interfaces 
Solver
Classes 
ConsistencySolver
PreprocessingSolver
SearchSolver