let restart () = incr cpt_restart; if not quiet then printf "%a@{<b>@{<fg_yellow>BACKTRACKING@} : %d restarts ...@}\n%a@." Pretty.print_line () !cpt_restart Pretty.print_line (); nodes_pre_run := !cpt_nodes :: !nodes_pre_run; cpt_nodes := 0; if dot then Dot.restart ()