The most striking difference to the classic APT solver is that solver3 always keeps manually installed packages around, it never offers to remove them.
Miam !
We will relax that in a future iteration so that it can replace packages with new ones, that is, if your package is no longer available in the repository (obsolete), but there is one that Conflicts+Replaces+Provides it, solver3 will be allowed to install that and remove the other.
De ce que je comprends, aptitude a son propre solveur, différent de celui de apt (et j'ai du mal à comprendre pourquoi Debian entretien plusieurs gestionnaires de package, c'est perturbant…apt-get a aussi un fonctionnement différent) :
Aptitude has a number of useful features, including […] Score-based dependency resolver which is more suitable for interactive dependency resolution with additional hints from the user like "I don't want that part of the solution but keep that other part of the solution for your next try". Apt's dependency resolver on the other hand is optimized for good "one shot" solutions.
Je crois que chez Debian les solveurs de dépendance, c'est une addiction. A une époque si ce n'est toujours le cas aptitude avait un second solveur qui était lancé si le premier ne trouvait pas de solution… un solveur 3-SAT qui consommait la totalité de ta RAM et mettais un temps fou à répondre (je vois pas dans quel monde c'est une bonne idée).
# Miam Miam
Posté par shbrol . Évalué à 5 (+4/-0).
The most striking difference to the classic APT solver is that solver3 always keeps manually installed packages around, it never offers to remove them.
Miam !
We will relax that in a future iteration so that it can replace packages with new ones, that is, if your package is no longer available in the repository (obsolete), but there is one that Conflicts+Replaces+Provides it, solver3 will be allowed to install that and remove the other.
Re-Miam !
# aptitude
Posté par jihele . Évalué à 2 (+0/-0).
J'utilise toujours aptitude. Est-ce que celui-ci utilise le solveur apt en interne ou un solveur propre ?
[^] # Re: aptitude
Posté par Faya . Évalué à 3 (+1/-0).
De ce que je comprends,
aptitudea son propre solveur, différent de celui de apt (et j'ai du mal à comprendre pourquoi Debian entretien plusieurs gestionnaires de package, c'est perturbant…apt-geta aussi un fonctionnement différent) :[^] # Re: aptitude
Posté par barmic 🦦 . Évalué à 3 (+1/-0).
Je crois que chez Debian les solveurs de dépendance, c'est une addiction. A une époque si ce n'est toujours le cas aptitude avait un second solveur qui était lancé si le premier ne trouvait pas de solution… un solveur 3-SAT qui consommait la totalité de ta RAM et mettais un temps fou à répondre (je vois pas dans quel monde c'est une bonne idée).
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll
Envoyer un commentaire
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.