[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...