diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-17 09:15:48 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-17 09:15:48 +0100 |
| commit | c6ab40b1602443938e431b996b28fb3d888365bb (patch) | |
| tree | 6fff7f9253ecb0b5c27f6a753d83a22a53ef54f8 | |
| parent | ad9c99d0274b09b152007332cef589f5e649080a (diff) | |
| download | nissy-core-c6ab40b1602443938e431b996b28fb3d888365bb.tar.gz nissy-core-c6ab40b1602443938e431b996b28fb3d888365bb.zip | |
Cleanup
| -rw-r--r-- | .gitignore | 5 | ||||
| -rw-r--r-- | README.md | 7 | ||||
| -rwxr-xr-x | build.sh | 2 | ||||
| -rw-r--r-- | tools/400_solvetest_optimal/solvetest.c | 2 |
4 files changed, 8 insertions, 8 deletions
| @@ -11,8 +11,7 @@ perf.data.old | |||
| 11 | run | 11 | run |
| 12 | run.exe | 12 | run.exe |
| 13 | debugrun | 13 | debugrun |
| 14 | tables/* | 14 | tables*/* |
| 15 | tables-old/* | ||
| 16 | test/*/runtest | 15 | test/*/runtest |
| 17 | test/.DS_Store | 16 | test/.DS_Store |
| 18 | test/run | 17 | test/run |
| @@ -48,3 +47,5 @@ python/*.pyd | |||
| 48 | python/*.exp | 47 | python/*.exp |
| 49 | python/*.lib | 48 | python/*.lib |
| 50 | *.sketch | 49 | *.sketch |
| 50 | __pycache__ | ||
| 51 | */__pycache__ | ||
| @@ -124,11 +124,10 @@ parameters. | |||
| 124 | For example: | 124 | For example: |
| 125 | 125 | ||
| 126 | ``` | 126 | ``` |
| 127 | $ :./build.sh tool gendata h48h2k2 | 127 | $ :./build.sh tool gendata h48h2 |
| 128 | ``` | 128 | ``` |
| 129 | 129 | ||
| 130 | Will run a tool that generates the data table for the H48 solver with | 130 | Will run a tool that generates the data table for the H48 solver with `h=2`. |
| 131 | parameters `h=2` and `k=2. | ||
| 132 | 131 | ||
| 133 | Each tool run is automatically timed, so these tools can be used as | 132 | Each tool run is automatically timed, so these tools can be used as |
| 134 | benchmark. The output as well as the time of the run are saved to a | 133 | 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 | |||
| 222 | example: | 221 | example: |
| 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 | ||
| 228 | NOTE: If you prefer to use a C-style API, you'll have to write | 227 | NOTE: If you prefer to use a C-style API, you'll have to write |
| @@ -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 |
