Hacker News new | ask | show | jobs
by _pmf_ 3192 days ago
Eclipse's P2 has also been using a SAT solver for quite some time [0].

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