| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | solver evaluation: write minimized solver dumps | Julian Andres Klode | 2025-03-20 | 1 | -2/+3 |
| * | Print --solver 3.0 explanation if both internal and it failed | Julian Andres Klode | 2025-03-09 | 1 | -1/+20 |
| * | Evaluate and fall back to the 3.0 solver | Julian Andres Klode | 2025-03-09 | 1 | -0/+220 |
