Your lead APT maintainer for the past years. Involved in APT since I believe 2007 or 8.

Making all sorts of big impacts!

Debian Developer since 2008.
Working at Canonical on Ubuntu in the Foundations - Systems team since 2018.

Accepted Talks:

The new APT solver

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.