Sage includes a sophisticated Sudoku solver. It also has a Rubik’s cube solver (see Rubik’s Cube Group).
Sudoku Puzzles