In this assignment you will implement a procedure that given a list of constraints enforces GAC on them by pruning values from the variable domains. You will also implement two different CSP models of the Sudoku puzzle, and compare the effects of enforcing GAC on these models.
Programming assignment for CSC384 - Introduction to Artificial Intelligence.