News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by yissp on Sunday May 19, 2019 @10:59AM (#19953602)
IIRC the dpkg package manager in Debian uses a SAT solver for dependency resolution.
[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by Conan_Kudo on Sunday May 19, 2019 @03:33PM (#19954996)
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.

[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by kiliankoe on Sunday May 19, 2019 @11:02AM (#19953617)
As do many language package managers, e.g. Dart's pub.
[ Parent | on HN ]