Sudoku Solver

Guide: Dr CK Narayanan, Indian Institute of Technology Ropar

Github repository

An AI agent to solve a Sudoku. It uses constraint satisfaction, and Boolean Satisfiability for Conjunctive Normal Form to apply the constraints to solve the puzzle.