Module org.chocosolver.solver
Package org.chocosolver.solver.search.strategy
-
Class Summary Class Description BoundSearch BEWARE: ONLY FOR INTEGERS (lets the default search work for other variable types) Search heuristic combined with a constraint performing strong consistency on the next decision variable and branching on the value with the best objective bound (for optimization) and branches on the lower bound for SAT problems.Search -
Enum Summary Enum Description Search.Restarts Enum for commonly used value restarting policies.Search.ValH Enum for commonly used value selectors.Search.VarH Enum for commonly used variable selectors.