commit c6ab40b1602443938e431b996b28fb3d888365bb
parent ad9c99d0274b09b152007332cef589f5e649080a
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 17 Dec 2025 09:15:48 +0100
Cleanup
Diffstat:
4 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/.gitignore b/.gitignore
@@ -11,8 +11,7 @@ perf.data.old
run
run.exe
debugrun
-tables/*
-tables-old/*
+tables*/*
test/*/runtest
test/.DS_Store
test/run
@@ -48,3 +47,5 @@ python/*.pyd
python/*.exp
python/*.lib
*.sketch
+__pycache__
+*/__pycache__
diff --git a/README.md b/README.md
@@ -124,11 +124,10 @@ parameters.
For example:
```
-$ :./build.sh tool gendata h48h2k2
+$ :./build.sh tool gendata h48h2
```
-Will run a tool that generates the data table for the H48 solver with
-parameters `h=2` and `k=2.
+Will run a tool that generates the data table for the H48 solver with `h=2`.
Each tool run is automatically timed, so these tools can be used as
benchmark. The output as well as the time of the run are saved to a
@@ -222,7 +221,7 @@ interface. You can build them and run them with the build tool, for
example:
```
-./build.sh cpp cpp/examples/solve_h48h3k2.cpp
+./build.sh cpp cpp/examples/solve.cpp
```
NOTE: If you prefer to use a C-style API, you'll have to write
diff --git a/build.sh b/build.sh
@@ -142,7 +142,7 @@ CPPFLAGS="-std=c++20 $(maybe_pthread)"
# When it becomes widely available, we can support it by adding -sMEMORY64
# to the WASMCFLAGS, WASMCPPFLAGS and WASMLINKFLAGS variables below, and
# -sMAXIMUM_MEMORY=10737418240 to WASMLINKFLAGS. This way we can enable
-# solvers larger than h48h6k2 in the web version.
+# solvers larger than h48h6 in the web version.
# TODO:
# The options below have to be adjusted when native WASM_SIMD is implemented.
diff --git a/tools/400_solvetest_optimal/solvetest.c b/tools/400_solvetest_optimal/solvetest.c
@@ -1,4 +1,4 @@
-#define SOLVER "h48h7k2"
+#define SOLVER "h48h7"
#define NISSFLAG NISSY_NISSFLAG_NORMAL
#define MINMOVES 0
#define MAXMOVES 20
