[Bug 2076655] Re: [FFe] APT 3.0 solver updates in August

[Julian Andres Klode]

** Changed in: apt (Ubuntu)
       Status: New => Won't Fix

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to apt in Ubuntu.
https://bugs.launchpad.net/bugs/2076655

Title:
  [FFe] APT 3.0 solver updates in August

Status in apt package in Ubuntu:
  Won't Fix

Bug description:
  I'm asking for a blanket August FFe for 1-2 uploads in August for the
  experimental 3.0 solver that can be used with the --solver 3.0
  argument. It's mostly really bug fixing that's happening, I'm not sure
  what would constitute a feature at this point*, but the changes are
  still fairly big as I'm refactoring it to align more with the MiniSAT
  paper; that fixes bugs along the process.

  The 1st big refactoring is almost ready; I'm missing refactoring the
  install code (removal/do-not-install) has been refactored and then
  refactoring from recursive propagation to a queue (which is easy the
  annoying part is validating the change).

  I don't think we'll get the 2nd big refactoring in this month.
  Starting September we'll essentially only apply important bug fixes to
  APT.

  * If you consider we don't have conflict-driven clause learning which
  makes it slow, but is it a feature? Right now it doesn't terminate in
  my real life mantic -> noble upgrade test case, this seems an
  essential bug fix. Not that this is ready for 24.10 but as an example.

  This FFe is restricted to the solver3 code in apt-pkg/solver3.{cc,h}
  and does not cover modifications to other APT parts.

  In any case given this is an undocumented experimental option we don't
  have to be worried about regression potential.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/apt/+bug/2076655/+subscriptions