2 ms·
apt doesn't use a SAT solver; it has its own heuristics. (Seemingly it _can_ call out to an external one if you give the --solver argument, which in 20+ years o
by Sesse__ 3y ago
apt doesn't use a SAT solver; it has its own heuristics. (Seemingly it _can_ call out to an external one if you give the --solver argument, which in 20+ years of Debian I have never seen anyone use, and which I didn't know of before I made a search now to make sure.)
- everforward 3y agoOh, that's interesting, thanks for the correction! Now I have some reading material for when I'm bored. I'm curious how they handle it without a SAT solver.