choco.kernel.solver.search.checker
Interfaces 
ISolutionCheckerEngine
Classes 
AbstractSolutionCheckerEngine
SolutionCheckerEngine
Exceptions 
SolutionCheckerException