/Sudoku-Pair-Solver

Generates and solves a pair of sudoku (arbitrary dimensions), using MiniSAT

Primary LanguagePython

Stargazers