[math-fun] Algorithms for Solving Rubik's Cubes