Solving package dependencies: from EDOS to Mancoosi - Treinen, Ralf; Zacchiroli, Stefano (CoRR, 2008)