News for hackers. Stuff that matters.

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

Re:Modern SAT solvers: fast, neat and underused (2018) by rwmj on Saturday May 27, 2023 @02:23AM (#36092511)
dnf is (or rather, was) written in Python and uses a SAT solver to solve dependencies for package installs in Fedora.
[ Parent | on HN ]

There are no comments on this comment yet.