aboutsummaryrefslogtreecommitdiff
path: root/tools/415_solvetest_DREO_FB_from_UD (follow)
Commit message (Expand)AuthorAgeFilesLines
* Added solver aliasesSebastiano Tronto2025-08-071-1/+1
* Shortened name for solvetestsSebastiano Tronto2025-08-052-0/+285

Generated with cgit - Back to sebastiano.tronto.net