aboutsummaryrefslogtreecommitdiff
path: root/tools/run_tool.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Cleanup makefile and toolsSebastiano Tronto2024-07-111-13/+1
* Stats for h48 solver as toolSebastiano Tronto2024-07-081-3/+11
* renamed benchmarks to toolsSebastiano Tronto2024-07-031-0/+27

Generated with cgit - Back to sebastiano.tronto.net