From 62d87e063318cc4c842b1b2d8c184f48aeaf6659 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 19 May 2025 17:45:14 +0200 Subject: 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. --- src/solvers/coord/dreo.h | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'src/solvers/coord/dreo.h') 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 = { }, .is_admissible = &solution_lastqt_cw, .is_solvable = &is_dreo_solvable, + .pruning_distribution = { + [0] = 1, + [1] = 1, + [2] = 4, + [3] = 22, + [4] = 160, + [5] = 1286, + [6] = 8550, + [7] = 42152, + [8] = 90748, + [9] = 33466, + [10] = 757, + }, + .pruning_max = 10, .sym = { .classes = DRESEP_CLASSES, .max = COMB_12_4, -- cgit v1.3