Package | Description |
---|---|
org.chocosolver.solver.search.loop.monitors | |
org.chocosolver.solver.search.strategy.selectors.variables | |
org.chocosolver.solver.search.strategy.strategy |
Modifier and Type | Class and Description |
---|---|
class |
CPProfiler
A search monitor to send data to cp-profiler.
|
class |
NogoodFromRestarts
A constraint for the specific Nogood store designed to store ONLY positive decisions.
|
class |
SearchMonitorList
|
Modifier and Type | Class and Description |
---|---|
class |
ActivityBased
Implementation of the search described in:
"Activity-Based Search for Black-Box Constraint Propagramming Solver",
Laurent Michel and Pascal Van Hentenryck, CPAIOR12.
|
Modifier and Type | Class and Description |
---|---|
class |
LastConflict
Last Conflict heuristic
Composite heuristic which hacks a mainStrategy by forcing the
use of variables involved in recent conflicts
|
Copyright © 2017. All rights reserved.