choco.kernel.solver.search.restart
Interfaces
UniversalRestartStrategy
Classes
AbstractRestartStrategy
GeometricalRestartStrategy
LubyRestartStrategy
NoRestartStrategy