Pour le solveur SAT, je ne peut que te renvoyer aux sources indiquées (si tu as le temps, c'est vraiment très intéressant).
Grosso modo, ZYpp transforme les metadonnées en fichiers bianaires, plus rapide à lire (fichiers .solv), puis applique des règles booléennes pour la résolution. En résumé, c'est plus rapide, plus fiable, et ça consomme surtout moins de mémoire.
[^] # Re: Précisions demandés sur ZYpp, solveur booléen et Yast
Posté par Spyhawk . En réponse à la dépêche openSUSE 11.0 : nouvelle mouture du caméléon disponible. Évalué à 4.
Mandriva : rpm - urpmi - rpmdrake
Debian : dpkg - apt-get - synaptic
C'est tout à fait ça.
Pour YaST, à la base c'est un "centre de contrôle" constitué de différents modules (comme drakeconf).
Néammoins, le module package manager de YaST est usuellement appellé simplement "Yast" (c'est un raccourci).
L'appellation exact devrait être "rpm - ZYpp - Yast package manager"
Pour le solveur SAT, je ne peut que te renvoyer aux sources indiquées (si tu as le temps, c'est vraiment très intéressant).
Grosso modo, ZYpp transforme les metadonnées en fichiers bianaires, plus rapide à lire (fichiers .solv), puis applique des règles booléennes pour la résolution. En résumé, c'est plus rapide, plus fiable, et ça consomme surtout moins de mémoire.