| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | solver3: Remove the Reject() function, propagate in Enqueue() instead | Julian Andres Klode | 2024-11-02 | 1 | -4/+3 |
| * | solver3: Introduce new Assume() and Enqueue() helpers and use them | Julian Andres Klode | 2024-11-02 | 1 | -0/+14 |
| * | solver3: Rename Reason to Var | Julian Andres Klode | 2024-11-02 | 1 | -22/+22 |
| * | solver3: Track all assignments and undo them individually | Julian Andres Klode | 2024-11-02 | 1 | -16/+45 |
| * | Fix obsoleted-by handling for experimental | Julian Andres Klode | 2024-08-12 | 1 | -2/+3 |
| * | solver3: Refactor Reason.Pkg()/Reason.Ver() use with iterator | Julian Andres Klode | 2024-07-16 | 1 | -0/+10 |
| * | solver3: Consider packages as obsolete and not versions | Julian Andres Klode | 2024-07-02 | 1 | -2/+2 |
| * | solver3: Order obsolete choices last | Julian Andres Klode | 2024-06-13 | 1 | -0/+12 |
| * | solver3: Group work items | Julian Andres Klode | 2024-06-13 | 1 | -6/+34 |
| * | Initial implementation of the 3.0 solver | Julian Andres Klode | 2024-05-14 | 1 | -0/+286 |
