SAT-Solver in Paketmanagern

• installierte Pakete: A.2,...
• zu installierende Pakete: B, ...
• verfügbare Pakete (auf Server): B.3, B.4,...
• Abhängigkeiten: B.3 erfordert C(≥1.5),...
• Konflikte: C.1.5#A( < 2.1),...

gesucht: konfliktfreier Install-Plan

• Michael Schröder: Using SAT for Package Dependencies, FOSDEM 2008 http://en.opensuse.org/openSUSE:Libzypp_satsolver
• Mancoosi (managing software complexity) http://www.mancoosi.org/ (2008-2011)