c Table des propositions : une proposition par version de paquet c foo-1.0 bar-2.1 baz-2.2 qux-1.3 qux-1.4 quz-2.1 quz-2.2 quxx-1.3 quxx-1.4 c 1 2 3 4 5 6 7 8 9 c p cnf 9 12 c on souhaite installer foo-1.0 1 0 c foo-1.0 dépend de : bar (>= 2.1), baz | qux -1 2 0 -1 3 4 5 0 c bar-2.1 dépend de : quz (= 2.1) -2 6 0 c baz-2.2 dépend de : quz (= 2.2) -3 7 0 c qux-1.3 dépend de : quxx (>= 1.3) -4 8 9 0 c qux-1.4 dépend de : quxx (>= 1.4) -5 9 0 c quxx-1.4 est en conflit avec : quz -9 -6 0 -9 -7 0 c on ne peut pas avoir deux versions de qux -4 -5 0 c on ne peut pas avoir deux versions de quxx -8 -9 0 c on ne peut pas avoir deux versions de quz -6 -7 0