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