Ettore Di Giacinto 4197d7af61 Add upgrade by using only the SAT core ... - Adds upgrade --universe and upgrade --universe --clean. It will attempt to bring the system as much close as the content available in the repositories. It differs from a standard upgrade which checks directly that what is pulled in doesn't conflict with the system. In this new way, we just query the SAT solver to decide that on our behalf. - Add uninstall --full-clean. It uses only the SAT solver to uninstall the package and it will drop as many packages as required (including revdeps of packages too.		2020-05-22 21:20:58 +02:00
..
decoder_test.go	Unique hashes for packages without deps	2020-05-18 19:57:01 +02:00
decoder.go	Unique hashes for packages without deps	2020-05-18 19:57:01 +02:00
resolver_test.go	Cleanup, drop hardcoded values and use constructors	2020-02-11 15:58:28 +01:00
resolver.go	Introduce Packages for []Package	2020-04-04 14:29:08 +02:00
solver_suite_test.go	Support logging level and spinner customization	2020-01-01 13:43:22 +01:00
solver_test.go	Add upgrade by using only the SAT core	2020-05-22 21:20:58 +02:00
solver.go	Add upgrade by using only the SAT core	2020-05-22 21:20:58 +02:00