/smt-sudoku-solver

This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.

Primary LanguagePythonMIT LicenseMIT

Stargazers