Compute satisfiable Install and Uninstall requests
Partition the requests by priority and try to assume them group-wise, fixing all that can be satisfied. Proceed through all the groups, as described in design/deps.txt
.
-
Depends on #122 (closed) (SAT structure, stage 1)