sudoku-generator
A Python Sudoku solver
An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT).
A simple Sudoku generator and solver. 数独生成器和解题器
Yet another python sudoku library.
