From 57a7520545134ab95f7bb0397dcbe991c906a3e9 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Wed, 6 Aug 2025 16:34:21 +0200 Subject: Added HTR solver --- src/solvers/coord/solve.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/solvers/coord/solve.h') diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h index 72bc064..54309b1 100644 --- a/src/solvers/coord/solve.h +++ b/src/solvers/coord/solve.h @@ -155,6 +155,10 @@ solve_coord_dfs(dfsarg_solve_coord_t arg[static 1]) int64_t n, ret; cube_t backup_cube, backup_inverse; + if (arg->coord->solution_prune != NULL && + arg->coord->solution_prune(arg->solution_moves)) + return 0; + coord = arg->coord->coord(arg->cube, arg->coord_data); if (coord_is_solved(arg->coord, coord, arg->coord_data)) { if (!coord_solution_admissible(arg)) -- cgit v1.3