From 4a88a686d5e08404080ed6954b70c0db252aa220 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 14 Dec 2024 11:59:22 +0100 Subject: Allow choosing number of threads when calling solve() --- tools/300_solve_small/solve_small.c | 2 +- tools/301_solve_file/solve_file.c | 2 +- tools/302_solve_multisol/solve_multisol.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'tools') 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) { continue; } n = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, - 0, 20, 1, -1, size, buf, SOL_BUFFER_LEN, sol, stats); + 0, 20, 1, -1, 0, size, buf, SOL_BUFFER_LEN, sol, stats); if (n == 0) printf("No solution found\n"); 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) { continue; } nsols = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, - 0, 20, 1, -1, size, buf, SOL_BUFFER_LEN, sol, stats); + 0, 20, 1, -1, 0, size, buf, SOL_BUFFER_LEN, sol, stats); if (nsols == 0) printf("No solution found\n"); 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) { continue; } n = nissy_solve(cube, solver, NISSY_NISSFLAG_NORMAL, - 0, 20, nsol, -1, size, buf, SOL_BUFFER_LEN, sol, stats); + 0, 20, nsol, -1, 0, size, buf, SOL_BUFFER_LEN, sol, stats); if (n == 0) printf("No solution found\n"); else -- cgit v1.3