From 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 5 Aug 2025 09:04:00 +0200 Subject: Added DRFIN solver --- src/solvers/coord/cpepe.h | 36 +++++++++++++++++------------------- 1 file changed, 17 insertions(+), 19 deletions(-) (limited to 'src/solvers/coord/cpepe.h') 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, -- cgit v1.3