106 Commits

Author	SHA1	Message	Date
Ettore Di Giacinto	632619fe91	Add uninstall ... Uninstall can be done in different ways - the most accurate would be to try find a minimum subset of packages that gives conflicts and try to reduce them gradually. E.g. this could be done with other SAT algorithms. For now we keep things simple and we compute the uninstalls as an indirect of an installation from an empty profile. Also take care of corner cases where world has no clauses, and fixes a typo in building the world formula	2019-06-05 18:49:35 +02:00
Ettore Di Giacinto	39a3e433a7	Cleanup	2019-06-05 18:49:34 +02:00
Ettore Di Giacinto	a342bc515f	Implement basic install algorithm	2019-06-05 18:49:34 +02:00
Ettore Di Giacinto	5184a26e69	Build formulas recursively	2019-06-05 18:49:34 +02:00
Ettore Di Giacinto	e6239f416b	Make formula built less complex	2019-06-05 18:49:34 +02:00
Ettore Di Giacinto	1084941240	Draft	2019-06-05 18:49:34 +02:00