a79b343 Correct solver's initial assumptions. — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

Correct solver's initial assumptions.

Vsevolod Stakhov committed 11 years ago

commit a79b3432dedf28eea574ea10adf1e72caee8090a
parent 0eb3180

1 file changed +8 -1

modified libpkg/pkg_solve.c

@@ -873,7 +873,14 @@ pkg_solve_sat_problem(struct pkg_solve_problem *problem)

 			picosat_set_more_important_lit(problem->sat, i + 1);
 		}
 		else {
 			picosat_set_default_phase_lit(problem->sat, i + 1, -1);
 			if (!var->next && var->prev == var) {
 				/* Prefer not to install if have no local version */
 				picosat_set_default_phase_lit(problem->sat, i + 1, -1);
 			}
 			else {
 				/* Prefer to upgrade if possible */
 				picosat_set_default_phase_lit(problem->sat, i + 1, 1);
 			}
 			picosat_set_less_important_lit(problem->sat, i + 1);
 		}
 	}