aboutsummaryrefslogtreecommitdiff
path: root/tools/419_solvetest_HTR_from_UD/solvetest.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* Added solver aliasesSebastiano Tronto2025-08-071-1/+1
* Added HTR solverSebastiano Tronto2025-08-061-0/+9

Generated with cgit - Back to sebastiano.tronto.net