3 ms·
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?
by darksaints 4y ago
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 4y agoYou can start here: https://github.com/openSUSE/libsolv/blob/347200107f0f17a369780d81d8cc201f61a5d649/doc/libsolv-history.txt https://github.com/openSUSE/libsolv/blob/347200107f0f17a3697...