Sudoku solver

This is a Sudoku solver using the ECLiPSe constraint programming system. It can solve Sudokus, but it can also verify the validity of exising Sudokus as well as generating new ones.