Sudoku solver via CSP