4 ms·
IIRC the dpkg package manager in Debian uses a SAT solver for dependency resolution.
by yissp 7y ago
IIRC the dpkg package manager in Debian uses a SAT solver for dependency resolution.
- kiliankoe 7y agoAs do many language package managers, e.g. Dart's pub.
- Conan_Kudo 7y agoDebian does not have a SAT solver powered package manager. That said, DNF package manager in Fedora, Mageia, OpenMandriva, and Yocto uses a SAT solver. As does the Zypper package manager in (open)SUSE.