Merge pull request #3 from enricotenuti/master

Threaded solver

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 @@
 #include <inttypes.h>
 #include <pthread.h>
+#include <stdatomic.h>
 #include <stdarg.h>
 #include <stdbool.h>
 #include <string.h>
@@ -401,8 +402,9 @@ nissy_solve(
                         LOG("gendata: could not parse options\n");
                         ret = -1;
                 } else {
-                        ret = solve_h48(c, minmoves, maxmoves, maxsolutions,
-                            data, solutions);
+                        ret = THREADS > 1 ?
+                                solve_h48_multithread(c, minmoves, maxmoves, maxsolutions, data, solutions) :
+                                solve_h48(c, minmoves, maxmoves, maxsolutions, data, solutions);
                 }
         } else if (!strcmp(solver, "h48stats")) {
                 ret = solve_h48stats(c, maxmoves, data, solutions);