apt/apt-pkg/solver3.h, branch 3.1.13Debians commandline package managerhttps://git.kalnischkies.de/apt/atom?h=3.1.132026-01-05T21:20:24Zsolver3: Ensure rule-of-3 memory safety for ContiguousCacheMap2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2026-01-04T16:25:38Zurn:sha1:5bdd21f915d1af832e9d3b874ddbd3ba2a178a06solver3: Modernize std::find() to std::ranges::contains2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-29T20:26:24Zurn:sha1:62fa3858d12f163de7db81f6e2be770e39783238
Where applicable
solver3: Remove Push() and refactor Solve()2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-05-20T11:13:45Zurn:sha1:f8dd5ea23c6a7fccf643329c50ae1f11f48b1a09
This method is no longer needed technically speaking, we should
use Assume() instead. It turns out that there is a slight bug in
the propagation and some clauses that are unit end up on the heap
rather than having been propagated away, so we temporarily need
to keep an if for that around.
To accomodate the switch from Push() to Assume() we need to make
sure that the work item is pushed to our trail *after* we
have assumed it, such that reverting pushes it back to the work
heap.
Refactor the code to consistently use Assume() rather than supporting
Enqueue(), this vastly simplifies things. This is not fully accurate
in the current model and leads to unnecessary decision levels, since
sometimes we seem to be reaching unit clauses here.
This preserves traversal order by first removing the item from the
heap and then adding it back if we need to solve it again.
solver3: Rename depth to level2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-28T15:59:17Zurn:sha1:ee82f420e7a303b5d92302134401e465b386de94
Matches the rename of depth() to decisionLevel() at a shorter
name.
solver3: Rename decision to assignment2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-28T15:56:28Zurn:sha1:21d099878ed8c34f3b13747bcec380e0402e57a3
The previous use of decision here conflicted with the use
of decision level and the general notion of having made a
decision, because the assignment might have been propagated
as a matter of fact.
solver3: Reorder the source code2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-22T21:40:12Zurn:sha1:bd0738fdd9aff3016230b3b5466e9498c58e4fb8
Move the DependencySolver methods and their helpers to the end of
the file.
solver3: Extract DependencySolver2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-22T21:33:12Zurn:sha1:e92750f895af0e957d297c17149878235467cca1
Extract almost all dependency logic into a subclass
solver3: Refactor to use a namespace2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-22T21:12:33Zurn:sha1:59b8099d79b5e103585b66279f191f4cb421a770
This removes the need for the forward references, thus fixing part
of the libc++ issues pointed out in [merge-511].
[merge-511] https://salsa.debian.org/apt-team/apt/-/merge_requests/511/diffs
solver3: Rename key concepts to MiniSAT names2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-22T17:14:38Zurn:sha1:93675680fca31004d5ea9e011d025c0ff189fc81
This should make it easier for people with MiniSAT knowledge
to onboard themselves to the solver.
solver3: Rename Decision to LiftedBool2026-01-05T21:20:24ZJulian Andres Klodejak@debian.org2025-12-21T22:16:30Zurn:sha1:e456e83b4a3986b672dbe98ed9b508606f2eb867
MUST becomes True, MUSTNOT becomes False, and NONE becomes
Undefined.