The new APT 3.0 solver

The new solver3 in APT 2.9.3 introduces a fully backtracking dependency solving algorithm that defers choices to as late as possible, with features like conflict-driven clause learning and implication graph construction. The solver keeps manually installed packages around and does not offer to remove them, but future iterations will allow replacement of obsolete packages and improve … [summary] [comments]


这是一个从 https://blog.jak-linux.org/2024/05/14/solver3/ 下的原始话题分离的讨论话题