Rubik's cube 3x3 solver for Python