GitHub repository: yinwenyi/sudoku_csp
Primary language: Python
Created: 2016-12-03T06:38:37Z
Description: Formulation of the sudoku puzzle as a CSP with all-diff constraints. Implement forward checking and GAC.