Every stage's move set is proven to reduce the cube to the next subgroup (G1 → G2 → G3 → solved). The code checks that after each phase, the cube belongs to the correct subgroup using invariant scanning.

The Python implementation of the algorithm uses the following libraries:

# Optimize the solution solution = optimize(solution)

Did this article help you? Share it with fellow cubing developers and correct the typo "rubik 39scube" to "Rubik's cube" for better search results.

Close Subscribe Card