CS480 Module 4 — Constraint Satisfaction Problems

Sudoku CSP Solver

Naive vs Smart Backtracking (MRV, LCV, Forward Checking)

Load Puzzle

Sample Puzzles