summaryrefslogtreecommitdiff
path: root/apt-pkg/solver3.h
Commit message (Expand)AuthorAgeFilesLines
* 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
* solver3: Point to stored clauses, do not copy themJulian Andres Klode2025-02-071-2/+2
* solver3: Use a package clause for optional rootsJulian Andres Klode2025-02-071-2/+3
* solver3: Refactor Dump() to toString()Julian Andres Klode2025-02-071-4/+2
* solver3: Replace PropagateInstall() with Discover()Julian Andres Klode2025-02-071-18/+18
* solver3: Extract TranslateOrGroup() out of EnqueueOrGroup()Julian Andres Klode2025-02-071-1/+6
* solver3: Extract Clause out of WorkJulian Andres Klode2025-02-071-12/+29
* solver3: Cache all configuration callsJulian Andres Klode2025-02-071-0/+6
* solver3: Cache calls to policyJulian Andres Klode2025-02-071-0/+14
* solver3: Propagate single choice clauses as factsJulian Andres Klode2025-02-071-1/+1
* solver3: Annotate all bool functions with [[nodiscard]]Julian Andres Klode2025-02-071-12/+12
* solver3: Partially generalize work items from Version to VarJulian Andres Klode2025-02-071-2/+13
* solver3: Drop unused upgrade flagJulian Andres Klode2025-02-071-3/+1
* solver3: Use a propagation queueJulian Andres Klode2025-01-301-0/+5
* solver3: Replace Install() with Enqueue(), and PropagateInstall()Julian Andres Klode2025-01-301-3/+3
* solver3: Remove NewUnsatRecommends groupJulian Andres Klode2025-01-301-1/+0
* solver3: Reject all non-candidates outright for strict pinningJulian Andres Klode2024-12-031-2/+0
* solver3: Refactor Install(Ver) to PropagateInstall(Ver)Julian Andres Klode2024-11-021-2/+2
* solver3: Rename the 'dirty' bit to 'erased'Julian Andres Klode2024-11-021-2/+2
* solver3: Remove the Reject() function, propagate in Enqueue() insteadJulian Andres Klode2024-11-021-4/+3
* solver3: Introduce new Assume() and Enqueue() helpers and use themJulian Andres Klode2024-11-021-0/+14
* solver3: Rename Reason to VarJulian Andres Klode2024-11-021-22/+22
* solver3: Track all assignments and undo them individuallyJulian Andres Klode2024-11-021-16/+45
* Fix obsoleted-by handling for experimentalJulian Andres Klode2024-08-121-2/+3
* solver3: Refactor Reason.Pkg()/Reason.Ver() use with iteratorJulian Andres Klode2024-07-161-0/+10
* solver3: Consider packages as obsolete and not versionsJulian Andres Klode2024-07-021-2/+2
* solver3: Order obsolete choices lastJulian Andres Klode2024-06-131-0/+12
* solver3: Group work itemsJulian Andres Klode2024-06-131-6/+34
* Initial implementation of the 3.0 solverJulian Andres Klode2024-05-141-0/+286
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-07-18 23:47:48 +0000