choco.cp.solver.search
Classes 
AbstractSearchLoopWithRestart
BranchAndBound
BranchingFactory
GlobalSearchStrategy
GoalSearchLoop
NogoodRecorder
SearchLimitManager
SearchLoop
SearchLoopWithRecomputation
VarSelectorFactory