3 ms·
Apt doesn't use a SAT solver it only removes conflicts if it finds them: https://aptitude.alioth.debian.org/doc/en/ch02s03s02.html https://aptitude.alioth.debia
by djhaskin987 9y ago
Apt doesn't use a SAT solver it only removes conflicts if it finds them: https://aptitude.alioth.debian.org/doc/en/ch02s03s02.html https://aptitude.alioth.debian.org/doc/en/ch02s03s02.html