4 ms·
Eclipse's P2 has also been using a SAT solver for quite some time [0]. [0] https://wiki.eclipse.org/Equinox_P2_Resolution https://wiki.eclipse.org/Equinox_P2_R
by _pmf_ 9y ago
Eclipse's P2 has also been using a SAT solver for quite some time [0].
[0] https://wiki.eclipse.org/Equinox_P2_Resolution https://wiki.eclipse.org/Equinox_P2_Resolution