Searched refs:restart_backtrack_incr_incr (Results 1 – 2 of 2) sorted by relevance
99 int restart_backtrack_incr_incr; member
70 _params.restart_backtrack_incr_incr = 100; in CSolver()118 _params.restart_backtrack_incr += _params.restart_backtrack_incr_incr; in run_periodic_functions()