Verbesserung des APT-Solvers: Elegante Behandlung der Entfernung manuell installierter Pakete
2025-05-27
Dieser Beitrag beschreibt Verbesserungen an einem APT-Paketmanager-Solver. Anfangs wurden manuell installierte Pakete als feste Fakten behandelt, während automatisch installierte Pakete optionale Einheitsklauseln waren. Das Zulassen der Entfernung manuell installierter Pakete führte jedoch zum Absturz des Solvers; er konnte sie unnötig entfernen. Der Autor behebt dies, indem er zunächst alle optionalen Klauseln annimmt und diese Annahmen dann iterativ während des Lösungsprozesses rückgängig macht. Dieser Ansatz ist zwar nicht global optimal, erweist sich aber in der Praxis als effektiv für die Abhängigkeitsauflösung und vermeidet die exponentielle Komplexität einer globalen Suche.
Entwicklung
SAT-Solver