This repository contains a Python implementation of a Sudoku solver that utilizes backtracking search with forward checking (constraint propagation) to solve Sudoku puzzles of various difficulties.