3 ms·
I do not think yum or apt use a SAT solver. Instead, if they need multiple versions of a package, they just give them different names https://packages.debian.o
by assbuttbuttass 3y ago
I do not think yum or apt use a SAT solver. Instead, if they need multiple versions of a package, they just give them different names
https://packages.debian.org/bookworm/guile-2.2 https://packages.debian.org/bookworm/guile-2.2
https://packages.debian.org/bookworm/guile-3.0 https://packages.debian.org/bookworm/guile-3.0
- menaerus 3y agoFrom https://fedoraproject.org/wiki/Features/DNF#Including_libsolv_in_Fedora https://fedoraproject.org/wiki/Features/DNF#Including_libsol... > DNF is a fork of Yum 3.4 that uses libsolv via hawkey for a backend. The main goals of the project are: > using a SAT solver for dependency resolving allowing us to eventually use the same solver in rpm too > ...