1 files changed, 102 insertions, 0 deletions

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;
+}