Urpmi, Yum et autre Apt sont plus ou moins similaires : ils doivent gérer un compromis entre la rapidité de la résolution du problème de dépendances et la qualité de cette même solution.
Je me demande par contre comment se débrouillerait ZYpp sur les limites rencontrées par Apt dans la résolution des Sudoku, sachant qu'il utilise un solveur SAT qui est complet (il ne trouve pas une solution possible, mais il trouve la meilleure solution possible dans un temps très raisonnable.)
[^] # Re: urpmi
Posté par Spyhawk . En réponse au journal Résolution de sudokus avec Aptitude. Évalué à 2.
Urpmi, Yum et autre Apt sont plus ou moins similaires : ils doivent gérer un compromis entre la rapidité de la résolution du problème de dépendances et la qualité de cette même solution.
Je me demande par contre comment se débrouillerait ZYpp sur les limites rencontrées par Apt dans la résolution des Sudoku, sachant qu'il utilise un solveur SAT qui est complet (il ne trouve pas une solution possible, mais il trouve la meilleure solution possible dans un temps très raisonnable.)