3 ms·
How are these recent approaches different from OPIUM[1] from 2007? 0install is based around this algorithm. Also as far as I know Debian and FreeBSD both offer
by Karrot_Kream 9y ago
How are these recent approaches different from OPIUM[1] from 2007? 0install is based around this algorithm. Also as far as I know Debian and FreeBSD both offer options to resolve dependencies using SAT solvers.
[1] http://www.cjtucker.com/opium.pdf http://www.cjtucker.com/opium.pdf
- _pmf_ 9y agoEclipse'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
- szemet 9y agoAlso 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 https://en.wikipedia.org/wiki/ZYpp