summaryrefslogtreecommitdiff
path: root/apt-pkg/solver3.h
Commit message (Expand)AuthorAgeFilesLines
* solver3: Upgrade by source packageJulian Andres Klode2026-02-171-0/+1
* solver3: Use constexpr and noexcept in most placesJulian Andres Klode2026-02-101-37/+37
* solver3: Cache straight pointers in candidate cacheJulian Andres Klode2026-02-101-3/+3
* solver3: Mark DependencySolver as finalJulian Andres Klode2026-02-101-1/+1
* solver3: Use classical watchers for propagationJulian Andres Klode2026-01-311-2/+12
* Erased items do not exist anymoreJulian Andres Klode2026-01-311-3/+0
* solver3: Use LiftedBool for Obsolete stateJulian Andres Klode2026-01-311-1/+1
* solver3: Ensure rule-of-3 memory safety for ContiguousCacheMapJulian Andres Klode2026-01-051-0/+4
* solver3: Modernize std::find() to std::ranges::containsJulian Andres Klode2026-01-051-4/+4
* solver3: Remove Push() and refactor Solve()Julian Andres Klode2026-01-051-2/+0
* solver3: Rename depth to levelJulian Andres Klode2026-01-051-16/+16
* solver3: Rename decision to assignmentJulian Andres Klode2026-01-051-11/+10
* solver3: Reorder the source codeJulian Andres Klode2026-01-051-2/+1
* solver3: Extract DependencySolverJulian Andres Klode2026-01-051-70/+84
* solver3: Refactor to use a namespaceJulian Andres Klode2026-01-051-210/+204
* solver3: Rename key concepts to MiniSAT namesJulian Andres Klode2026-01-051-28/+29
* solver3: Rename Decision to LiftedBoolJulian Andres Klode2026-01-051-16/+16
* solver3: Implement value(Lit) and use itJulian Andres Klode2026-01-051-1/+18
* solver3: Refactor Assume(), Enqueue() from Var to LitJulian Andres Klode2026-01-051-3/+3
* solver3: Introduce a Lit type to hold literalsJulian Andres Klode2026-01-051-0/+48
* solver3: Allow removing manually installed packagesJulian Andres Klode2025-10-251-1/+1
* solver3: Do not lose notion that we backtrackedJulian Andres Klode2025-10-251-0/+2
* solver3: Eagerly satisfy previously satisfied RecommendsJulian Andres Klode2025-10-251-1/+4
* Include standard headers to fix clang compiler errorBiswapriyo Nath2025-06-181-0/+1
* solver3: Avoid FTBFS with g++ 14.2 on arm{el,hf}Julian Andres Klode2025-06-101-2/+2
* solver3: Explicitly declare and define ~SolverJulian Andres Klode2025-06-101-0/+1
* solver3: Merge intersecting dependenciesJulian Andres Klode2025-05-271-1/+4
* solver3: Initialize startTime if not set in Pop()Julian Andres Klode2025-05-261-1/+1
* solver3: Remove Work::choiceJulian Andres Klode2025-05-261-10/+3
* Introduce apt why, apt why-notJulian Andres Klode2025-05-191-0/+3
* solver3: Handle previously satisfied Suggests lastJulian Andres Klode2025-03-201-1/+4
* apt-pkg/solver3.h: avoid static_assert(false)Johannes Schauer Marin Rodrigues2025-03-141-1/+3
* solver3: Fix Recommends/Suggests vs Enhances confusionJulian Andres Klode2025-03-121-0/+5
* solver3: Do not prefer new installs over manually installed obsoletesJulian Andres Klode2025-03-091-5/+8
* solver3: Verbose error messagesJulian Andres Klode2025-03-081-0/+22
* solver3: Support pretty printing clausesJulian Andres Klode2025-03-061-1/+1
* solver3: cleanup operators for VarJulian Andres Klode2025-03-061-8/+3
* solver3: refactor: Return inserted Clause in AddWork()Julian Andres Klode2025-03-061-1/+1
* solver3: Simplify Var pointer taggingJulian Andres Klode2025-03-061-15/+16
* Add missing #include <memory>Julian Andres Klode2025-02-151-0/+1
* solver3: Store clauses as the reasons for decisionsJulian Andres Klode2025-02-141-4/+5
* solver3: Remove work rescoring in favor of unit propagationJulian Andres Klode2025-02-141-4/+0
* solver3: Pass EDSP flags directly rather than via configJulian Andres Klode2025-02-141-4/+6
* solver3: Defer 3.0 'deep' autoremoval to 3.1, fix autoremoveJulian Andres Klode2025-02-141-1/+2
* solver3: Reject reverse dependencies nativelyJulian Andres Klode2025-02-141-4/+2
* solver3: Implement a timeout, default 10sJulian Andres Klode2025-02-141-0/+5
* solver3: Discover recursive dependenciesJulian Andres Klode2025-02-141-0/+5
* solver3: Defer version selection where possibleJulian Andres Klode2025-02-141-0/+2
* solver3: Avoid std::vector for statically sized arraysJulian Andres Klode2025-02-071-15/+59
* solver3: Add const where helpfulJulian Andres Klode2025-02-071-6/+20
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-07-18 03:13:12 +0000