Logram en utilise des plus simples que apt par exemple, car celui-ci utilise un solveur SAT
apt, et aptitude, n'utisent pas de solveurs SAT, que je sache. Ils utilisent des algos dédiés, heuristiques, et incomplets. Ils ne garantissent pas de trouver la solution si elle existe, mais c'est pas un problème en pratique. Ils sont plus rapides qu'un solveur SAT, car plus spécialisés et avec des heuristiques dédièes, de l'optimisation pour minimiser les changement, etc.
[^] # Re: pas d'accord
Posté par thoasm . En réponse au journal Sortie de Setup 0.1-alpha0. Évalué à 4.
apt, et aptitude, n'utisent pas de solveurs SAT, que je sache. Ils utilisent des algos dédiés, heuristiques, et incomplets. Ils ne garantissent pas de trouver la solution si elle existe, mais c'est pas un problème en pratique. Ils sont plus rapides qu'un solveur SAT, car plus spécialisés et avec des heuristiques dédièes, de l'optimisation pour minimiser les changement, etc.