summaryrefslogtreecommitdiff
path: root/test/integration/test-solver3-alternatives
Commit message (Expand)AuthorAgeFilesLines
* solver3: Rename decision to assignmentJulian Andres Klode2026-01-051-1/+1
* solver3: Verbose error messagesJulian Andres Klode2025-03-081-0/+32