There are several programs for working with Rubik's cubes, by three
different people. These are required by SageMath.