aboutsummaryrefslogtreecommitdiff
path: root/tools/419_solvetest_HTR_from_UD (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Added solver aliasesSebastiano Tronto2025-08-071-1/+1
|
* Added HTR solverSebastiano Tronto2025-08-062-0/+93

Generated with cgit - Back to sebastiano.tronto.net