nissy-fmc

commit 8c2a0d07a0a10940cb6aedc461d29fc8725a9839
parent 51a3278a0b189057ea488c1a7a1fab1447369617
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Mon, 21 Feb 2022 20:33:47 +0100

Fixed bug in using niss

Diffstat:
M
TODO.md
 | 
5
++++-
M
nissy.exe
 | 
0

M
src/solve.c
 | 
2
+-

3 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/TODO.md b/TODO.md
@@ -13,7 +13,10 @@ It's more of a personal reminder than anything else.
 * Free large tables from memory before exit (this is not strictly necessary,
   but can help with WSL bugs)
 ### Installation
-* Automatically download tables as an option for gen command
+* At startup, check if tables are all there; if not, print an error message
+  suggesting to run `nissy gen -t 8` (or more than 8). Is it actually
+  possible to make table generation at least 3x faster?
+* make 8 threads default for gen?
 ### Documentation
 * Write an examples.md file
 * More screenshots!
diff --git a/nissy.exe b/nissy.exe
Binary files differ.
diff --git a/src/solve.c b/src/solve.c
@@ -368,7 +368,7 @@ niss_makes_sense(DfsArg *arg)
 	Cube testcube;
 
 	testcube = apply_move(inverse_move(arg->last1), (Cube){0});
-	return arg->current_alg->len == 0 || arg->step->is_done(testcube);
+	return arg->current_alg->len == 0 || !arg->step->is_done(testcube);
 }
 
 static bool