> Solver3 is a fully backtracking dependency solving algorithm that defers choices to as late as possible. It starts with an empty set of packages, then adds the manually installed packages, and then installs packages automatically as necessary to satisfy the dependencies. [...]
> If you have studied SAT solver design, you’ll find that essentially this is a DPLL solver without pure literal elimination
> If you have studied SAT solver design, you’ll find that essentially this is a DPLL solver without pure literal elimination
DPLL algorithm: https://en.wikipedia.org/wiki/DPLL_algorithm