PyPI page
Author:
Anirban Basu
Summary:
An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT)
Latest version:
1.0.0
Required dependencies:
environs
|
fastmcp
|
z3-solver
Downloads last day:
0
Downloads last week:
29
Downloads last month:
190
7-day smoothing