SAT solvers are used by DNF and Zypper (respectively Fedora's and OpenSUSE's pac... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

rwmj on Aug 4, 2018 | parent | context | favorite | on: Modern SAT solvers: fast, neat and underused

SAT solvers are used by DNF and Zypper (respectively Fedora's and OpenSUSE's package managers).

blattimwind on Aug 4, 2018 [–]

Allegedly Windows Update runs on one as well, which is said to be the reason why "update rollups" are needed to keep the system fast (and also the reason why Windows 7 updating has been extremely slow for years).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact