Introducing Synthetic Sudoku

Synthetic Sudoku screenshot

Essentially, Synthetic Sudoku is a program which generates Sudoku puzzles and allows them to be solved on-screen. In addition it offers:

The program was created by a group of undergraduates at the University of Cambridge, as part of the Computer Science Tripos.