Lots of changes for solver3. I made it very slow over the past day, but I solved the fundamental issue in my approach now and we're back to competitive with the classic apt solver.
There's still more performance potential incoming. One problem is that we queue dependencies that have a single solution rather than recursively install them.
If we mark them recursively we can do it in one big transaction and avoid the need for some rescoring if we see some Conflicts.
Also more comments, some cleanup here and there, basically polishing this to get production ready. I think all upgrade variants, install, remove, autoremove work now.
Still no autoremove messaging however. Later!
Backtracking seems solid now.
Work items are ordered by actually possible choices, rather than all of them.
Performance is up 100%.
Anyhow it's getting late and I should have been asleep 2 hours ago already. Gaaar.
Add comment