• [^] # Re: Le problème est là...

    Posté par . En réponse au journal Une idée de distribution Linux. Évalué à 4.

    Un solveur de dépendances n'est pas aussi simple que vous semblez le croire...

    Sauf que ce n'est pas ce dont il était question. Il n'était pas question de faire de la résolution de dépendance, mais de faire une inversion de dépendance (note moi je réponds à "On sait deja sur quels libs s'appuient chaque paquet, il suffit d'inverser la liste"). Pour faire ça tu prend la représentation de ton graphe (le graphe est connu et limité ce graphe), tu inverse tous les arcs et tu fait la résolution de dépendance. Ce n'est pas simple, mais tu as un super outil pour le faire qui s'appelle apt qui le fait déjà.

    Encore une fois il n'est pas de problématique générale, mais d'une utilisation précise qui est déjà adressée par les outils Debian (cf la sous commande rdepend d'APT). Et non pas de résolution d'un 3SAT bien poilus.

    MANCOOSI fait des choses très bien j'en suis sûr mais pour ce qui est de l'inversion de dépendance, soit ils ont déjà résolu le problème soit c'est un problème qui était résolu avant.

    Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)