Bug#1113744: Solver is making weird decisions when picking one of multiple supported dependencies

Aaron Rainbolt <[email protected]>
Newsgroups gmane.linux.debian.apt.devel
Message-ID <20251002230530.31a0f42b__6900.47446857847$1759464452$gmane$org@kf-m2g5>
On Tue, 2 Sep 2025 09:14:14 -0500
Aaron Rainbolt <[email protected]> wrote:

> On Tue, 2 Sep 2025 12:37:52 +0200
> Julian Andres Klode <[email protected]> wrote:

*snip*

> > It would be interesting to see what --solver 3.0 does here as it is
> > _less_ greedy. Basically it goes:  
> 
> Aren't I already using the 3.0 solver? The issue is mostly in Trixie
> and Sid which I *thought* used a different solver than Bookworm
> (especially since it shows the less desirable behavior). I'll pass
> `--solver 3.0` and see what happens. I'll also try David's suggestion
> of passing the packages in a different order (both on the metapackage
> level and with the order of installing metapackages), although I fear
> that getting the order right may be impossible in some non-trivial
> situations.

So, I did a test with `--solver 3.0`, and it *did* change things for
the better - now only mate-polkit is chosen, not ukui-polkit. A whole
lot of other things are also not installed, using `--solver 3.0` didn't
add any additional packages, it only removed packages (and it removed A
LOT of packages - the test shared in the original report resulted in
apt trying to install 315 packages, but when using `--solver 3.0` apt
only tries to install 178 packages).

The full results are more than a bit long, but here's some pastebins:

`apt -s install --no-install-recommends nm-connection-editor
mate-settings-daemon`: https://termbin.com/qzr9

`apt -s install --no-install-recommends --solver 3.0
nm-connection-editor mate-settings-daemon`: https://termbin.com/y6qc

Diff of the output from the above two commands with table-formatted data
removed and the remaining data sorted alphabetically:
https://termbin.com/ke2ud
signature.asc (application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEudh48PFXwyPDa0wGpwkWDXPHkQkFAmjfS4oACgkQpwkWDXPH
kQkMOQ//Vp7nY606yVI/s52GdiKASdQjDH12CtSbd4XobTVs8qcd4vOf9PBhfIj+
iHMVR6U3xRWLw1NNf1rmjd55TmqWFddK0IUd9nc2gAWoGWUe4rRyH7TKh+Q/YzaF
LyoCIziNBUmm4UAZuruoQ/8VWthJUAMSCJ2u+XD6SfQp3jn4j7OZZXO8/N2rCaL2
KMVxjjkSqk1crrIDsr0R5cWSWx1cF92HmoUKBk3SQ6A4QRJIdFHj2rwvMBRntUZo
m3vwriIxz8UCmlM9szWgKG/TZgXpEQao5rw4mnYtZShaFmjWRiE0tfkayX8dUZ5F
oLEJQXIyHo/p/StgNyaNW0I4X7KUyDiQL/q/FXwT2nz3vw1Oj3JoMzkxPkYm6PQq
QpOSkbuMDV7VwbTioqbeN5RdVPaRYI9Ra/GX+/3gLm3WdxaxvdKtgEGIPFeMAryn
J9NdJ8QYY9aJoWF7xtso/4orK5BwIw5SVoDod1irwiDWwVu69YFh3NaTMwiJKlB2
DI8uHf/UJJcdvrGe1rGSY3/4f0ZB1nuDx3Gt4z6W70MECOXC6ha5LMVt5mTUIW5e
RtRt87HIIJ7WeVjz5iJ3FPEGlzikIwJNSzxU9nIG77HuDKuzHprX/TW765qZxbIV
gxIcNP99oeb/xEKEPNafeje2LdZHmXVQ6wTra8RS09l72DlxNY0=
=E9Ng
-----END PGP SIGNATURE-----
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.