3 ms·
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 fl
by AlotOfReading 2mo ago
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].
[0] https://blog.jak-linux.org/2024/05/14/solver3/ https://blog.jak-linux.org/2024/05/14/solver3/
- tux3 2mo agoYes, 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.