La présentation sera organisée comme suivant:

Introduction

Justification pour un système de dépendance: limitations du système utilisé par pip, différence entre déploiement d'applications et distributions.

Simple démo de depsolver sur des problèmes mal gérés par pip.

Etat de l'art

Cette section commencera par revoir les systèmes basés sur une représentation type 'graph', et expliquer brièvement l'origine de leur complexité ("apt-get/yum").

Ensuite, j'expliquerai comment les systèmes plus modernes (libzypp, php composer) utilisent un "solver SAT" pour résoudre les dépendances: gestion homogène des conflits, replacements et obsolescence, gestion homogène des dépendances à l'exécution, compilation et test.

depsolver

Section principale décrivant l'API, basée sur des exemples concrets:

• description haut niveau de l'API: résoudre un problème de dépendance simple

• flexibilité du format de version: PEP 440, format Debian

• gestion des conflits, et concept de "policy" pour différents usages.

Conclusion

La présentation se terminera sur ce qui reste à faire et les possibilités d'intégration avec pip/setuptools.