choco.kernel.solver.search
Interfaces 
GlobalSearchLimitManager
IntBranchingDecision
IObjectiveManager
ISearchLoop
ISolutionDisplay
ISolutionPool
TiedIntVarSelector
ValIterator
ValSelector
Classes 
AbstractGlobalSearchStrategy
AbstractOptimize
AbstractSearchHeuristic
AbstractSearchLoop
AbstractSearchStrategy
IntBranchingTrace
SolutionPoolFactory