News for hackers. Stuff that matters.
Re:Molinillo: a dependency resolution algorithm by szemet on Friday September 29, 2017 @03:44AM (#15363472)
Also there is zypper, the package manager of OpenSUSE and SLES. That's where I first heard about this usage of SAT, around 10 years ago. https://en.wikipedia.org/wiki/ZYpp

There are no comments on this comment yet.