aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/coord/dreo.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers/coord/dreo.h')
-rw-r--r--src/solvers/coord/dreo.h14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/solvers/coord/dreo.h b/src/solvers/coord/dreo.h
index 1cce4e2..f6fa3e9 100644
--- a/src/solvers/coord/dreo.h
+++ b/src/solvers/coord/dreo.h
@@ -27,6 +27,20 @@ STATIC coord_t coordinate_dreo = {
27 }, 27 },
28 .is_admissible = &solution_lastqt_cw, 28 .is_admissible = &solution_lastqt_cw,
29 .is_solvable = &is_dreo_solvable, 29 .is_solvable = &is_dreo_solvable,
30 .pruning_distribution = {
31 [0] = 1,
32 [1] = 1,
33 [2] = 4,
34 [3] = 22,
35 [4] = 160,
36 [5] = 1286,
37 [6] = 8550,
38 [7] = 42152,
39 [8] = 90748,
40 [9] = 33466,
41 [10] = 757,
42 },
43 .pruning_max = 10,
30 .sym = { 44 .sym = {
31 .classes = DRESEP_CLASSES, 45 .classes = DRESEP_CLASSES,
32 .max = COMB_12_4, 46 .max = COMB_12_4,

Generated with cgit - Back to sebastiano.tronto.net