From 2a38070d44ed01753c51067bbd7f007e4b74bd6b Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 12 Aug 2025 15:49:36 +0200 Subject: Renamed UNIX build script to build.sh, added info to README.md related to windows build --- benchmarks/benchmarks.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'benchmarks') diff --git a/benchmarks/benchmarks.md b/benchmarks/benchmarks.md index 805408d..f84ddb3 100644 --- a/benchmarks/benchmarks.md +++ b/benchmarks/benchmarks.md @@ -234,7 +234,7 @@ Time per cube adjusted for tables size (in seconds \* GiB, lower is better). example: ``` -./build tool solve_file h48h7k2 ./benchmarks/scrambles/scrambles-16.txt +./build.sh tool solve_file h48h7k2 ./benchmarks/scrambles/scrambles-16.txt ``` To find all solutions, add something like `99999 0` at the end of the -- cgit v1.3