yacs.solver
Interfaces
Solver
Classes
ConsistencySolver
PreprocessingSolver
SearchSolver