aboutsummaryrefslogtreecommitdiff
path: root/src/solvers
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-12-19 16:01:14 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2025-12-19 16:01:14 +0100
commitaefecb170f26f0244e3c82d917103ea4ec0bfc2c (patch)
tree47787690cec39146a4e26b4fc444b67d7bd0d224 /src/solvers
parent30d976107352ecf74c57acc1032bed6032cd3da3 (diff)
parentb7bb88cd6eb2a8c8e3f26e276ab849d52168668a (diff)
downloadnissy-core-aefecb170f26f0244e3c82d917103ea4ec0bfc2c.tar.gz
nissy-core-aefecb170f26f0244e3c82d917103ea4ec0bfc2c.zip
Merge branch 'h48-corner-estimate'
Diffstat (limited to 'src/solvers')
-rw-r--r--src/solvers/h48/solve.h9
1 files changed, 7 insertions, 2 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h
index 2920fa7..4aa3799 100644
--- a/src/solvers/h48/solve.h
+++ b/src/solvers/h48/solve.h
@@ -115,10 +115,15 @@ solve_h48_stop(dfsarg_solve_h48_t arg[static 1])
115 arg->movemask_normal = arg->movemask_inverse = MM18_ALLMOVES; 115 arg->movemask_normal = arg->movemask_inverse = MM18_ALLMOVES;
116 arg->nodes_visited++; 116 arg->nodes_visited++;
117 117
118 /* Preliminary probing using last computed bound, if possible */
119
120 n = arg->solution_moves->nmoves + arg->solution_moves->npremoves; 118 n = arg->solution_moves->nmoves + arg->solution_moves->npremoves;
121 target = arg->target_depth - n; 119 target = arg->target_depth - n;
120
121 /* We'll never get a bound higher than base + 3 */
122 if (arg->base + 3 <= target)
123 return false;
124
125 /* Preliminary probing using last computed bound, if possible */
126
122 if ((arg->use_lb_normal && arg->lb_normal > target) || 127 if ((arg->use_lb_normal && arg->lb_normal > target) ||
123 (arg->use_lb_inverse && arg->lb_inverse > target)) 128 (arg->use_lb_inverse && arg->lb_inverse > target))
124 return true; 129 return true;

Generated with cgit - Back to sebastiano.tronto.net