The new APT solver

Speaker: Julian Andres Klode

Track: Packaging, policy, and Debian infrastructure

Type: Long talk (45 minutes)

Room: Bada

Time: Jul 30 (Tue): 10:00

Duration: 0:40

APT 2.9.3 introduced a new dependency solver, called 3.0, or solver3. This new solver enables new features for APT, but also may have subtly different behavior.

In this talk I want to explore:

  • The limitations of the current solver
  • Previous attempts at building new solvers, translating problems into SAT / PBO
  • The design of the new solver
  • Peculiarities of the Debian dependency problem such as the order of operands, and expected behavior.

URLs