From c5a6ff0443fc9e5e890fe72cb13ea78d4fe2bbcb Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 2 Apr 2025 14:33:21 +0200
Subject: Added dreo coordinate solver

---
 src/solvers/coord/dreo.h | 102 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 102 insertions(+)
 create mode 100644 src/solvers/coord/dreo.h

(limited to 'src/solvers/coord/dreo.h')

diff --git a/src/solvers/coord/dreo.h b/src/solvers/coord/dreo.h
new file mode 100644
index 0000000..37de0d3
--- /dev/null
+++ b/src/solvers/coord/dreo.h
@@ -0,0 +1,102 @@
+#define DRESEP_CLASSES 81
+
+STATIC uint64_t coord_dresep_nosym(cube_t);
+STATIC cube_t invcoord_dresep_nosym(uint64_t);
+STATIC cube_t coordinate_dreo_merge(cube_t, cube_t);
+
+STATIC uint64_t coordinate_dreo_coord(cube_t, const void *);
+STATIC cube_t coordinate_dreo_cube(uint64_t, const void *);
+STATIC bool coordinate_dreo_isnasty(uint64_t, const void *);
+STATIC size_t coordinate_dreo_gendata(void *);
+
+STATIC bool is_dreo_solvable(cube_t);
+
+STATIC coord_t coordinate_dreo = {
+	.name = "DREO",
+	.coord = &coordinate_dreo_coord,
+	.cube = &coordinate_dreo_cube,
+	.isnasty = &coordinate_dreo_isnasty,
+	.gendata = coordinate_dreo_gendata,
+	.max = DRESEP_CLASSES * POW_3_7,
+	.trans_mask = TM_UDRLFIX,
+	.moves_mask = MM_EO,
+	.axistrans = {
+		[AXIS_UD] = TRANS_UFr,
+		[AXIS_RL] = TRANS_RFr,
+		[AXIS_FB] = TRANS_FDr,
+	},
+	.is_admissible = &solution_lastqt_cw,
+	.is_solvable = &is_dreo_solvable,
+	.sym = {
+		.classes = DRESEP_CLASSES,
+		.max = COMB_12_4,
+		.coord = &coord_dresep_nosym,
+		.cube = &invcoord_dresep_nosym,
+		.max2 = POW_3_7,
+		.coord2 = &coord_co_u,
+		.cube2 = &invcoord_co_u,
+		.merge = &coordinate_dreo_merge,
+	},
+};
+
+STATIC uint64_t
+coord_dresep_nosym(cube_t cube)
+{
+	return (uint64_t)coord_esep(cube) / COMB_8_4;
+}
+
+STATIC cube_t
+invcoord_dresep_nosym(uint64_t coord)
+{
+	return invcoord_esep(coord * COMB_8_4);
+}
+
+STATIC cube_t
+coordinate_dreo_merge(cube_t c1, cube_t c2)
+{
+	cube_t merged;
+
+	merged = c1;
+	copy_corners(&merged, c2);
+
+	return merged;
+}
+
+STATIC uint64_t
+coordinate_dreo_coord(cube_t cube, const void *data)
+{
+	return coord_coord_generic(&coordinate_dreo, cube, data);
+}
+
+STATIC cube_t
+coordinate_dreo_cube(uint64_t i, const void *data)
+{
+	return coord_cube_generic(&coordinate_dreo, i, data);
+}
+
+STATIC bool
+coordinate_dreo_isnasty(uint64_t i, const void *data)
+{
+	return coord_isnasty_generic(&coordinate_dreo, i, data);
+}
+
+STATIC size_t
+coordinate_dreo_gendata(void *data)
+{
+	return coord_gendata_generic(&coordinate_dreo, data);
+}
+
+STATIC bool
+is_dreo_solvable(cube_t cube) {
+	uint8_t c[8], e[12], i, cocount;
+
+	if (coord_eo(cube) != 0)
+		return false;
+
+	pieces(&cube, c, e);
+
+	for (i = 0, cocount = 0; i < 8; i++)
+		cocount += (c[i] & COBITS_2) >> COSHIFT;
+
+	return cocount % 3 == 0;
+}
-- 
cgit v1.3