With this system, you give a Sudoku puzzle, and Mace4 solves it.
What is Mace4 and how does it solve Sudoku puzzles?
For some background on Sudoku, see the Wikipedia Sudoku Page.
Ok, let's do Sudoku!