aboutsummaryrefslogtreecommitdiff
path: root/src/nissy.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/nissy.c')
-rw-r--r--src/nissy.c6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/nissy.c b/src/nissy.c
index e610199..44efb83 100644
--- a/src/nissy.c
+++ b/src/nissy.c
@@ -1,5 +1,6 @@
1#include <inttypes.h> 1#include <inttypes.h>
2#include <pthread.h> 2#include <pthread.h>
3#include <stdatomic.h>
3#include <stdarg.h> 4#include <stdarg.h>
4#include <stdbool.h> 5#include <stdbool.h>
5#include <string.h> 6#include <string.h>
@@ -401,8 +402,9 @@ nissy_solve(
401 LOG("gendata: could not parse options\n"); 402 LOG("gendata: could not parse options\n");
402 ret = -1; 403 ret = -1;
403 } else { 404 } else {
404 ret = solve_h48(c, minmoves, maxmoves, maxsolutions, 405 ret = THREADS > 1 ?
405 data, solutions); 406 solve_h48_multithread(c, minmoves, maxmoves, maxsolutions, data, solutions) :
407 solve_h48(c, minmoves, maxmoves, maxsolutions, data, solutions);
406 } 408 }
407 } else if (!strcmp(solver, "h48stats")) { 409 } else if (!strcmp(solver, "h48stats")) {
408 ret = solve_h48stats(c, maxmoves, data, solutions); 410 ret = solve_h48stats(c, maxmoves, data, solutions);

Generated with cgit - Back to sebastiano.tronto.net