* @param restartLimit restart limits (limit of number of restarts)
*/
public static void luby(Solver solver, int scaleFactor, int geometricalFactor,
ICounter restartStrategyLimit, int restartLimit) {
solver.plugMonitor(new RestartManager(
new LubyRestartStrategy(scaleFactor, geometricalFactor),
restartStrategyLimit, solver.getSearchLoop(), restartLimit
));
}