3 ms·
dnf and zypper are using a SAT solver for package dependency resolution. Here's the information about zypper: https://en.opensuse.org/openSUSE:Libzypp_satsolve
by rwmj 4y ago
dnf and zypper are using a SAT solver for package dependency resolution. Here's the information about zypper: https://en.opensuse.org/openSUSE:Libzypp_satsolver https://en.opensuse.org/openSUSE:Libzypp_satsolver
- aredox 4y agoWeird that zypper/libzypp isn't more widely know and used. I mean, it's there. And (open)SUSE isn't exactly a new or confidential distro. Says a lot about our discipline.