Debian 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

Debian 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.