kociemba
Solve Rubik's Cube in less than 19 moves on average with Python.
A Rubik's cube model and solver