Java code for constraint satisfaction with Sudoku implementation.