Added DRFIN solver

1 files changed, 17 insertions, 19 deletions

diff --git a/src/solvers/coord/cpepe.h b/src/solvers/coord/cpepe.h
index 37ec014..9c9bffc 100644
--- a/src/solvers/coord/cpepe.h
+++ b/src/solvers/coord/cpepe.h
@@ -15,29 +15,27 @@ STATIC coord_t coordinate_cpepe = {
         .moves_mask_gendata = MM18_DR,
         .moves_mask_solve = MM18_DR,
         .is_admissible = &solution_always_valid,
-        .is_solvable = &is_drfin_solvable,
+        .is_solvable = &is_drfinnoe_solvable,
         .is_solved = NULL,
         .allow_niss = false,
         .pruning_distribution = {
-                /* TODO */
-                [0] = 0,
-                [1] = 0,
-                [2] = 0,
-                [3] = 0,
-                [4] = 0,
-                [5] = 0,
-                [6] = 0,
-                [7] = 0,
-                [8] = 0,
-                [9] = 0,
-                [10] = 0,
-                [11] = 0,
-                [12] = 0,
-                [13] = 0,
-                [14] = 0,
-                [15] = 0,
+                [0] = 1,
+                [1] = 3,
+                [2] = 10,
+                [3] = 44,
+                [4] = 214,
+                [5] = 846,
+                [6] = 2413,
+                [7] = 5122,
+                [8] = 8639,
+                [9] = 12128,
+                [10] = 12571,
+                [11] = 12985,
+                [12] = 7754,
+                [13] = 3366,
+                [14] = 336,
         },
-        .pruning_max = 15, /* TODO */
+        .pruning_max = 14,
         .sym = {
                 .classes = CLASSES_CP_16,
                 .max = FACT_8,