Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Modern SAT solvers: fast, neat and underused. Parent comment
That said, DNF package manager in Fedora, Mageia, OpenMandriva, and Yocto uses a SAT solver. As does the Zypper package manager in (open)SUSE.
There are no comments on this comment yet.
That said, DNF package manager in Fedora, Mageia, OpenMandriva, and Yocto uses a SAT solver. As does the Zypper package manager in (open)SUSE.