3 ms·
Something few people know about: Haiku adopted openSUSE libsolv, built for zypper, to solve dependencies even before Fedora. libsolv, created by Michael Schoed
by dmacvicar 4y ago
Something few people know about: Haiku adopted openSUSE libsolv, built for zypper, to solve dependencies even before Fedora.
libsolv, created by Michael Schoeder at SUSE, has two innovations:
- a memory optimized format to represent packages and its dependencies, using hashed string pools
- a SAT solver able to operate directly in this representation, battle tested in this particular scenario of complex upgrades, including hundred of testcases.
Haiku uses mainly the solver only, as far as I saw in the source.
- darksaints 4y agoDo you know anything more about the solver? The GitHub page doesn’t really talk algorithms or anything. Does it use DPLL under the covers?
- dmacvicar 4y agoYou can start here: https://github.com/openSUSE/libsolv/blob/347200107f0f17a369780d81d8cc201f61a5d649/doc/libsolv-history.txt https://github.com/openSUSE/libsolv/blob/347200107f0f17a3697...
- deleted 4y ago[deleted]
- bravetraveler 4y agoKeep in mind that 'even before Fedora' was ~8 years ago Not sure what my point is, I was just confused - I know SUSE/Fedora people are close