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

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

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