Sudoku Solver

Program designed to solve Sudoku puzzles using the AC-3 constraint satisfaction algorithm

Welcome to the Sudoku Solver project! Ever stared at a Sudoku grid and felt your neurons overheating? This program tackles that for you using the magical-sounding AC-3 (Mackworth, 1977) constraint satisfaction algorithm. Choose from three different Sudoku setups—if you find yourself stumped, just hit “solve” and let logic (and a little code) do the heavy lifting. Bragging rights for human vs. machine are optional. To see the magic under the hood, checkout the code in my repo.

References

1977

  1. Consistency in networks of relations
    Alan K Mackworth
    Artificial intelligence, 1977