SudokuCSP This project aims to model the Sudoku problem using the constraint satisfaction problem concept. It uses exploration with backtracking search as well as constraint propagation with forward checking (arc constraint 3 may be implemented later).