aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore5
-rw-r--r--README.md7
-rwxr-xr-xbuild.sh2
-rw-r--r--tools/400_solvetest_optimal/solvetest.c2
4 files changed, 8 insertions, 8 deletions
diff --git a/.gitignore b/.gitignore
index 20da609..9922f9b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,8 +11,7 @@ perf.data.old
11run 11run
12run.exe 12run.exe
13debugrun 13debugrun
14tables/* 14tables*/*
15tables-old/*
16test/*/runtest 15test/*/runtest
17test/.DS_Store 16test/.DS_Store
18test/run 17test/run
@@ -48,3 +47,5 @@ python/*.pyd
48python/*.exp 47python/*.exp
49python/*.lib 48python/*.lib
50*.sketch 49*.sketch
50__pycache__
51*/__pycache__
diff --git a/README.md b/README.md
index 7e206a1..308dad0 100644
--- a/README.md
+++ b/README.md
@@ -124,11 +124,10 @@ parameters.
124For example: 124For example:
125 125
126``` 126```
127$ :./build.sh tool gendata h48h2k2 127$ :./build.sh tool gendata h48h2
128``` 128```
129 129
130Will run a tool that generates the data table for the H48 solver with 130Will run a tool that generates the data table for the H48 solver with `h=2`.
131parameters `h=2` and `k=2.
132 131
133Each tool run is automatically timed, so these tools can be used as 132Each tool run is automatically timed, so these tools can be used as
134benchmark. The output as well as the time of the run are saved to a 133benchmark. 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
222example: 221example:
223 222
224``` 223```
225./build.sh cpp cpp/examples/solve_h48h3k2.cpp 224./build.sh cpp cpp/examples/solve.cpp
226``` 225```
227 226
228NOTE: If you prefer to use a C-style API, you'll have to write 227NOTE: If you prefer to use a C-style API, you'll have to write
diff --git a/build.sh b/build.sh
index 502dbcf..642f5ca 100755
--- a/build.sh
+++ b/build.sh
@@ -142,7 +142,7 @@ CPPFLAGS="-std=c++20 $(maybe_pthread)"
142# When it becomes widely available, we can support it by adding -sMEMORY64 142# When it becomes widely available, we can support it by adding -sMEMORY64
143# to the WASMCFLAGS, WASMCPPFLAGS and WASMLINKFLAGS variables below, and 143# to the WASMCFLAGS, WASMCPPFLAGS and WASMLINKFLAGS variables below, and
144# -sMAXIMUM_MEMORY=10737418240 to WASMLINKFLAGS. This way we can enable 144# -sMAXIMUM_MEMORY=10737418240 to WASMLINKFLAGS. This way we can enable
145# solvers larger than h48h6k2 in the web version. 145# solvers larger than h48h6 in the web version.
146 146
147# TODO: 147# TODO:
148# The options below have to be adjusted when native WASM_SIMD is implemented. 148# 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
index 6c078a2..0a31553 100644
--- a/tools/400_solvetest_optimal/solvetest.c
+++ b/tools/400_solvetest_optimal/solvetest.c
@@ -1,4 +1,4 @@
1#define SOLVER "h48h7k2" 1#define SOLVER "h48h7"
2#define NISSFLAG NISSY_NISSFLAG_NORMAL 2#define NISSFLAG NISSY_NISSFLAG_NORMAL
3#define MINMOVES 0 3#define MINMOVES 0
4#define MAXMOVES 20 4#define MAXMOVES 20

Generated with cgit - Back to sebastiano.tronto.net