Sudoku Solver

Watch a Sudoku puzzle solved through constraint propagation and backtracking. The solver first eliminates possibilities using logical deduction, then guesses when needed, backing up when contradictions arise. Each strategy lights up in a different color.