diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-12-14 11:59:22 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-12-14 11:59:22 +0100 |
| commit | 4a88a686d5e08404080ed6954b70c0db252aa220 (patch) | |
| tree | c1fb469d5a2a68c8e4651ad7837d3dd6fe2ff93e /tools | |
| parent | 9ac266c76f39620d8343e46ca41cb09d1534384c (diff) | |
| download | nissy-core-4a88a686d5e08404080ed6954b70c0db252aa220.tar.gz nissy-core-4a88a686d5e08404080ed6954b70c0db252aa220.zip | |
Allow choosing number of threads when calling solve()
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/300_solve_small/solve_small.c | 2 | ||||
| -rw-r--r-- | tools/301_solve_file/solve_file.c | 2 | ||||
| -rw-r--r-- | tools/302_solve_multisol/solve_multisol.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/tools/300_solve_small/solve_small.c b/tools/300_solve_small/solve_small.c index 09ca85a..073de89 100644 --- a/tools/300_solve_small/solve_small.c +++ b/tools/300_solve_small/solve_small.c | |||
| @@ -37,7 +37,7 @@ void run(void) { | |||
| 37 | continue; | 37 | continue; |
| 38 | } | 38 | } |
| 39 | n = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, | 39 | n = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, |
| 40 | 0, 20, 1, -1, size, buf, SOL_BUFFER_LEN, sol, stats); | 40 | 0, 20, 1, -1, 0, size, buf, SOL_BUFFER_LEN, sol, stats); |
| 41 | if (n == 0) | 41 | if (n == 0) |
| 42 | printf("No solution found\n"); | 42 | printf("No solution found\n"); |
| 43 | else | 43 | else |
diff --git a/tools/301_solve_file/solve_file.c b/tools/301_solve_file/solve_file.c index aa45df0..fe41bb7 100644 --- a/tools/301_solve_file/solve_file.c +++ b/tools/301_solve_file/solve_file.c | |||
| @@ -24,7 +24,7 @@ void run(void) { | |||
| 24 | continue; | 24 | continue; |
| 25 | } | 25 | } |
| 26 | nsols = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, | 26 | nsols = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, |
| 27 | 0, 20, 1, -1, size, buf, SOL_BUFFER_LEN, sol, stats); | 27 | 0, 20, 1, -1, 0, size, buf, SOL_BUFFER_LEN, sol, stats); |
| 28 | if (nsols == 0) | 28 | if (nsols == 0) |
| 29 | printf("No solution found\n"); | 29 | printf("No solution found\n"); |
| 30 | else | 30 | else |
diff --git a/tools/302_solve_multisol/solve_multisol.c b/tools/302_solve_multisol/solve_multisol.c index 739ccbd..a03c2a0 100644 --- a/tools/302_solve_multisol/solve_multisol.c +++ b/tools/302_solve_multisol/solve_multisol.c | |||
| @@ -30,7 +30,7 @@ void run(void) { | |||
| 30 | continue; | 30 | continue; |
| 31 | } | 31 | } |
| 32 | n = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, | 32 | n = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, |
| 33 | 0, 20, nsol, -1, size, buf, SOL_BUFFER_LEN, sol, stats); | 33 | 0, 20, nsol, -1, 0, size, buf, SOL_BUFFER_LEN, sol, stats); |
| 34 | if (n == 0) | 34 | if (n == 0) |
| 35 | printf("No solution found\n"); | 35 | printf("No solution found\n"); |
| 36 | else | 36 | else |