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 /README.md | |
| parent | ad9c99d0274b09b152007332cef589f5e649080a (diff) | |
| download | nissy-core-c6ab40b1602443938e431b996b28fb3d888365bb.tar.gz nissy-core-c6ab40b1602443938e431b996b28fb3d888365bb.zip | |
Cleanup
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 3 insertions, 4 deletions
| @@ -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 |