summaryrefslogtreecommitdiff
path: root/apt-pkg/solver3.cc
Commit message (Expand)AuthorAgeFilesLines
* apt: push to emplace C++11 if possibleHerman Semenoff2026-04-081-7/+7
* solver3: Upgrade by source packageJulian Andres Klode2026-02-171-0/+19
* solver3: Use constexpr and noexcept in most placesJulian Andres Klode2026-02-101-11/+13
* solver3: Minor style refactoringsJulian Andres Klode2026-02-101-7/+4
* solver3: Avoid manual delete[] in favor of RAIIJulian Andres Klode2026-02-101-3/+2
* solver3: Fix off-by-one missing optimizationJulian Andres Klode2026-02-101-1/+1
* solver3: Refactor Propagate() using lazy head/tailJulian Andres Klode2026-02-101-24/+18
* solver3: Remove dead codeJulian Andres Klode2026-02-101-10/+1
* solver3: Use classical watchers for propagationJulian Andres Klode2026-01-311-53/+69
* Erased items do not exist anymoreJulian Andres Klode2026-01-311-8/+1
* solver3: Use LiftedBool for Obsolete stateJulian Andres Klode2026-01-311-6/+6
* why: Render info about all providers on virtual packagesJulian Andres Klode2026-01-201-13/+28
* solver3: Modernize std::find() to std::ranges::containsJulian Andres Klode2026-01-051-9/+6
* solver3: Add a strange assertionJulian Andres Klode2026-01-051-0/+2
* solver3: Remove Push() and refactor Solve()Julian Andres Klode2026-01-051-50/+24
* solver3: Re-use existing error message code in Solve()Julian Andres Klode2026-01-051-7/+4
* solver3: Rename depth to levelJulian Andres Klode2026-01-051-7/+7
* solver3: Rename decision to assignmentJulian Andres Klode2026-01-051-36/+36
* solver3: Reorder the source codeJulian Andres Klode2026-01-051-440/+437
* solver3: Extract DependencySolverJulian Andres Klode2026-01-051-17/+31
* solver3: Refactor to use a namespaceJulian Andres Klode2026-01-051-30/+34
* solver3: Rename key concepts to MiniSAT namesJulian Andres Klode2026-01-051-27/+27
* solver3: Rename Decision to LiftedBoolJulian Andres Klode2026-01-051-31/+31
* solver3: Implement value(Lit) and use itJulian Andres Klode2026-01-051-18/+23
* solver3: Refactor Assume(), Enqueue() from Var to LitJulian Andres Klode2026-01-051-22/+23
* solver3: Do not lose notion that we backtrackedJulian Andres Klode2025-10-251-1/+5
* solver3: Eagerly satisfy previously satisfied RecommendsJulian Andres Klode2025-10-251-2/+5
* solver3: Allow any downloadable version to mark a package as not obsoleteJulian Andres Klode2025-08-261-3/+8
* solver3: Sort dependency targets against current alternativeJulian Andres Klode2025-08-261-4/+1
* solver3: Filter installed RecommendsJulian Andres Klode2025-06-101-0/+10
* solver3: Explicitly declare and define ~SolverJulian Andres Klode2025-06-101-0/+2
* solver3: Ignore Architecture: all for obsoleted-byJulian Andres Klode2025-06-101-1/+3
* solver3: Only merge dependencies on the same packageJulian Andres Klode2025-05-281-6/+14
* solver3: Merge Depends into RecommendsJulian Andres Klode2025-05-271-7/+23
* solver3: Merge intersecting dependenciesJulian Andres Klode2025-05-271-5/+45
* solver3: Assume manual packagesJulian Andres Klode2025-05-261-1/+16
* solver3: Initialize startTime if not set in Pop()Julian Andres Klode2025-05-261-0/+2
* solver3: Allow CompareProviders3 with empty packageJulian Andres Klode2025-05-261-1/+1
* solver3: If no choice was made nothing to invertJulian Andres Klode2025-05-261-1/+1
* solver3: Handle failed assumption in Pop()Julian Andres Klode2025-05-261-0/+7
* solver3: Remove Work::choiceJulian Andres Klode2025-05-261-5/+4
* Introduce apt why, apt why-notJulian Andres Klode2025-05-191-0/+20
* solver3: Do not install new packages for SuggestsJulian Andres Klode2025-03-201-0/+5
* solver3: Handle previously satisfied Suggests lastJulian Andres Klode2025-03-201-0/+1
* solver3: Record manual flag before discovering packagesJulian Andres Klode2025-03-201-2/+5
* solver3: Only hide ver->pkg clauses, not pkg->ver version selection onesJulian Andres Klode2025-03-131-4/+14
* solver3: Fix test-resolve-by-keep-new-recommendJulian Andres Klode2025-03-121-20/+22
* solver3: Fix Recommends/Suggests vs Enhances confusionJulian Andres Klode2025-03-121-1/+9
* solver3: Correctly determine 'same' or groupsJulian Andres Klode2025-03-101-9/+29
* solver3: Print correct reason when registering dependencyJulian Andres Klode2025-03-101-2/+1
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-07-18 03:14:23 +0000