[dmacvicar]

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.

[bravetraveler]

Keep 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

[darksaints]

Do 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]

You can start here:

https://github.com/openSUSE/libsolv/blob/347200107f0f17a3697...