GitHub repository: liamjdavis/Sudoku-SMT-Solvers
Primary language: Jupyter Notebook
Created: 2024-11-24T18:56:32Z
Description: Python Package for solving sudoku with SAT and SMT.