It's not quite clear to me how to implement the behaviour of apt upgrade entirely backwards compatible.
That is, apt upgrade removes no packages. Anything needing a removal would cause a package to be kept back instead. But um solver3 will happily install a new dependency instead of keeping the upgrade back to avoid a removal.
For apt-get upgrade, new installs are not allowed either. I'm not sure if solver3 does funky stuff there, after all it can only change versions.
WRT autoremovals, made some progress but this is a bit of a hard topic. There's some breakage in the ?garbage pattern as the depcache no longer marks and sweeps itself.
Solver3 when it sees the first optional install request, marks all previously installed packages that are not yet decided as must as garbage, which is about right, except we need to solve Recommends before "kept auto package" and only trigger once we see the latter.
In any case, the solver3 branch now has a list of tests broken by solver and runs the remaining ones to avoid regressions in them from future solver changes.
I'm working on the list to reduce failing test cases which is going to be a necessary step for the solver3 beta 1 milestone, alongside better error messages.
Some test cases are basically fixed if not for the autoremoval listing/handling. It's a bit sad.
Basically 84 tests are failing, 304 are passing currently.
This is the basic algorithm, it implements ordered solving of dependencies in the ordered and it solves Recommends only after Depends, and one-by-one.
We can call this a partial ordered maxsat problem. Let Si..Sn be the soft clauses, then a partial ordered maxsat problem is equivalent to a partial weighted maxsat problem with weights
Wi = 2**(n-i)
It has a (2**n)/2n lower complexity than an unordered partial maxsat problem where n is the number of soft clauses.
@xanScale But generally if you install the same packages on your system as you have manually installed now you'd end up without the flatpak plugin too, so something pulled it in before, but isn't anymore.
I don't know the worst part of having my bag delayed until tomorrow: having no clean socks, or the hotel tv with motion smoothing turned on and not having my universal remote to turn it off.
@mdione didn't manage to try horchata. Didn't even get breakfast today. There seems to be only 2-3 places focusing on it, and a couple of ice cream shots having modernized varieties, and it's all a bit remote to where I'm running around l
the stretching occurred not using the proper Neapolitan method of flapping, but by tossing it in the air once and then extending the dough on the table using both hands pulling outward.