A program that solves sudokus.