aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/coord/eo.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers/coord/eo.h')
-rw-r--r--src/solvers/coord/eo.h11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/solvers/coord/eo.h b/src/solvers/coord/eo.h
index 51dfb29..7735319 100644
--- a/src/solvers/coord/eo.h
+++ b/src/solvers/coord/eo.h
@@ -20,6 +20,17 @@ STATIC coord_t coordinate_eo = {
20 }, 20 },
21 .is_admissible = &solution_lastqt_cw, 21 .is_admissible = &solution_lastqt_cw,
22 .is_solvable = &is_eo_even, 22 .is_solvable = &is_eo_even,
23 .pruning_distribution = {
24 [0] = 1,
25 [1] = 2,
26 [2] = 25,
27 [3] = 202,
28 [4] = 620,
29 [5] = 900,
30 [6] = 285,
31 [7] = 13,
32 },
33 .pruning_max = 7,
23 .sym = {0}, 34 .sym = {0},
24}; 35};
25 36

Generated with cgit - Back to sebastiano.tronto.net