From c6ab40b1602443938e431b996b28fb3d888365bb Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Wed, 17 Dec 2025 09:15:48 +0100 Subject: Cleanup --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 7e206a1..308dad0 100644 --- 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 -- cgit v1.3