An easy to explore and yet unproven mathematical sequence
Solves all legal, single-solution Sudoku puzzles using multiple solver algorithms, chain techniques and recursive descent/backtrack.