Amélioration du solveur APT : gestion élégante de la suppression des paquets installés manuellement
Cet article détaille les améliorations apportées à un solveur de gestionnaire de paquets APT. Initialement, les paquets installés manuellement étaient traités comme des faits fixes, tandis que les paquets installés automatiquement étaient des clauses unitaires facultatives. Cependant, la possibilité de supprimer les paquets installés manuellement a cassé le solveur ; il pouvait les supprimer inutilement. L’auteur résout ce problème en supposant initialement toutes les clauses facultatives, puis en défaisant itérativement ces suppositions pendant le processus de résolution. Cette approche, bien que non globalement optimale, s’avère efficace en pratique pour la résolution des dépendances, évitant la complexité exponentielle d’une recherche globale.
Lire plus