Advancing to the next solvable needs to happen a posteriori.  Without this we end up with the first solvable being <NULL>, and we miss the last package.
Advancing to the next solvable needs to happen a posteriori.  Without
this we end up with the first solvable being <NULL>, and we miss the
last package.


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver