Searched refs:solver_run_sat (Results 1 – 3 of 3) sorted by relevance
16 extern void solver_run_sat(Solver *solv, int disablerules, int doweak);
417 solver_run_sat(solv, 0, 0); in refine_suggestion()
2605 solver_run_sat(Solver *solv, int disablerules, int doweak) in solver_run_sat() function4138 solver_run_sat(solv, 1, solv->dontinstallrecommended ? 0 : 1); in solver_solve()