aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/coord/drfin.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-08-05 09:04:00 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-08-05 09:04:00 +0200
commit3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb (patch)
tree122faba06273ae0450a2994e22bad42202f11da7 /src/solvers/coord/drfin.h
parentf6efc882a279cddb624fe2f2470797561a6997b8 (diff)
downloadnissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.tar.gz
nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.zip
Added DRFIN solver
Diffstat (limited to 'src/solvers/coord/drfin.h')
-rw-r--r--src/solvers/coord/drfin.h17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/solvers/coord/drfin.h b/src/solvers/coord/drfin.h
new file mode 100644
index 0000000..569419b
--- /dev/null
+++ b/src/solvers/coord/drfin.h
@@ -0,0 +1,17 @@
1STATIC bool is_drfin_solvable(cube_t);
2
3STATIC multicoord_t multicoordinate_drfin = {
4 .name = "DRFIN",
5 .coordinates = { &coordinate_cpepe, &coordinate_drfinnoe, NULL },
6 .moves_mask = MM18_DR,
7 .is_solvable = is_drfin_solvable,
8};
9
10STATIC bool
11is_drfin_solvable(cube_t cube)
12{
13 return coord_eo(cube) == 0 &&
14 coord_eo(transform_edges(cube, TRANS_URr)) == 0 &&
15 coord_co(cube) == 0 &&
16 issolvable((oriented_cube_t){.cube = cube, .orientation = 0});
17}

Generated with cgit - Back to sebastiano.tronto.net