SAT-Solver in Paketmanagern

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

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)