choco.search
Interfaces 
AssignVar.ValueChooserWrapper
IGlobalSearchLimit
IVarSelector
Classes 
AbstractBinIntBranching
AbstractGlobalSearchLimit
AbstractGlobalSearchSolver
AbstractIntBranching
AbstractLargeIntBranching
AbstractOptimize
AbstractSearchHeuristic
AssignVar
BranchAndBound
IntBranchingTrace
NodeLimit
OptimizeWithRestarts
Solve
TimeLimit