News for hackers. Stuff that matters.
Re:Molinillo: a dependency resolution algorithm by _pmf_ on Friday September 29, 2017 @02:38AM (#15363242)
Eclipse's P2 has also been using a SAT solver for quite some time [0].

[0] https://wiki.eclipse.org/Equinox_P2_Resolution

There are no comments on this comment yet.