Ettore Di Giacinto 6ba028f0ea Make sure we do compute the best fit ... While install calls upgrade which in turns calls a relaxed install on its results, this doesn't make sure that the new results are at the best available version. We do iterate here over the results to compute the best set. It also expands computeUpgrade with the possibility to selectively choose which packages to upgrade and which not.		2021-10-10 19:04:55 +02:00
..
benchmark_test.go	Deprecate parallel solver	2021-10-10 00:28:54 +02:00
decoder_test.go	Introduce install --relaxed	2021-10-10 00:27:58 +02:00
decoder.go	Make sure we do compute the best fit	2021-10-10 19:04:55 +02:00
resolver_test.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00
resolver.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00
solver_suite_test.go	Support logging level and spinner customization	2020-01-01 13:43:22 +01:00
solver_test.go	Make sure we do compute the best fit	2021-10-10 19:04:55 +02:00
solver.go	Make sure we do compute the best fit	2021-10-10 19:04:55 +02:00