nissy-fmc

commit e1abf10596acdd424bff277f6372cff33b50dbac
parent 69de2c297a4991e4d9d91c357afde986aa744327
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Mon,  8 May 2023 00:46:06 +0200

Bufix in niss_makes_sense

Diffstat:
M
src/solve.c
 | 
11
++++++++++-

1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/src/solve.c b/src/solve.c
@@ -172,6 +172,7 @@ niss_makes_sense(DfsArg *arg)
 {
 	Cube testcube;
 	CubeState state[MAX_N_COORD];
+	bool b1, b2, comm;
 
 	if (arg->niss || !(arg->st == NISS) || arg->current_alg->len == 0)
 		return false;
@@ -179,8 +180,16 @@ niss_makes_sense(DfsArg *arg)
 	make_solved(&testcube);
 	apply_move(inverse_move(arg->last[0]), &testcube);
 	get_state(arg->s->coord, &testcube, state);
+	b1 = lower_bound(arg->s->coord, state) > 0;
 
-	return lower_bound(arg->s->coord, state) > 0;
+	make_solved(&testcube);
+	apply_move(inverse_move(arg->last[1]), &testcube);
+	get_state(arg->s->coord, &testcube, state);
+	b2 = lower_bound(arg->s->coord, state) > 0;
+
+	comm = commute(arg->last[0], arg->last[1]);
+
+	return b1 > 0 && !(comm && b2 == 0);
 }
 
 int