IIRC the dpkg package manager in Debian uses a SAT solver for dependency resolut... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

yissp on May 19, 2019 | parent | context | favorite | on: Modern SAT solvers: fast, neat and underused

IIRC the dpkg package manager in Debian uses a SAT solver for dependency resolution.

Conan_Kudo on May 19, 2019 | [–]

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.

kiliankoe on May 19, 2019 | [–]

As do many language package managers, e.g. Dart's pub.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact