Rubik's Cube solver in Python