% post predicate "pred" whenever the solver restarts
annotation on_restart(string: pred);
% restart after fixed number of nodes
annotation restart_constant(int: nodes);
% restart with scaled Luby sequence
annotation restart_luby(int: scale);
% restart with scaled geometric sequence ($scale*base^n$ in the $n$-th iteration)
annotation restart_geometric(float: base, int: scale);
% restart with linear sequence ($scale*n$ in the $n$-th iteration)
annotation restart_linear(int: scale);
% restart on each solution
annotation restart_on_solution;
% restart without branch-and-bound constraints on the objective
annotation restart_without_objective;
% overall time limit for search
annotation timeout(int: seconds);
% overall limit on number of restarts
annotation restart_limit(int: n_restarts);