Refactored checkdata

Relevant changes include:
  - Changed the signature of nissy_checkdata().
  - Removed expected_distribution.h from tools; this data is now included
    in each solver's src/ code.
  - Removed distribution check for cocsep; may add back later.

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 = {
         },
         .is_admissible = &solution_lastqt_cw,
         .is_solvable = &is_eo_even,
+        .pruning_distribution = {
+                [0] = 1,
+                [1] = 2,
+                [2] = 25,
+                [3] = 202,
+                [4] = 620,
+                [5] = 900,
+                [6] = 285,
+                [7] = 13,
+        },
+        .pruning_max = 7,
         .sym = {0},
 };