The description you've given for apt just sounds almost exactly like SAT, a problem that's very efficiently approximated. That's exactly how the --solver 3.0 flag on recent apt versions works [0].
The description you've given for apt just sounds almost exactly like SAT, a problem that's very efficiently approximated. That's exactly how the --solver 3.0 flag on recent apt versions works [0].
Yes, apt's solver has always been very fast. I still use aptitude only because it is interactive, and when apt just gives up with 0 to upgrade, 283 not upgraded the interactive exploration helps a lot.