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