Package choco.cp.solver.search

Class Summary
AbstractSearchLoopWithRestart  
BranchAndBound  
BranchingFactory  
GlobalSearchStrategy  
GoalSearchLoop  
NogoodRecorder analyze the trace of the branching for nogood recording from restarts.
SearchLimitManager  
SearchLoop  
SearchLoopWithRecomputation  
VarSelectorFactory  
 



Copyright © 2012. All Rights Reserved.