Searched refs:sat_solver_progress (Results 1 – 1 of 1) sorted by relevance
753 static double sat_solver_progress(sat_solver* s) in sat_solver_progress() function1882 s->progress_estimate = sat_solver_progress(s); in sat_solver_search()1891 s->progress_estimate = sat_solver_progress(s); in sat_solver_search()