choco.cp.solver.preprocessor
Classes
PPModelToCPSolver
PPSearch
PPSearch.BoolSchedComparator
PreProcessConfiguration
PreProcessCPSolver
SolverDetectorFactory
SymetryBreakingModelDetector
SymetryBreakingModelDetector.EmptySymetryBreakingModelDetector