PyPI recent updates for smt-sudoku-mcp https://pypi.org/project/smt-sudoku-mcp/ Recent updates to the Python Package Index for smt-sudoku-mcp en 0.3.0 https://pypi.org/project/smt-sudoku-mcp/0.3.0/ An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT) anirbanbasu@users.noreply.github.com Fri, 28 Aug 2026 14:37:11 GMT 0.2.0 https://pypi.org/project/smt-sudoku-mcp/0.2.0/ An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT) anirbanbasu@users.noreply.github.com Thu, 27 Aug 2026 05:21:44 GMT 0.1.0.post1 https://pypi.org/project/smt-sudoku-mcp/0.1.0.post1/ An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT) anirbanbasu@users.noreply.github.com Thu, 27 Aug 2026 00:55:02 GMT 0.1.0 https://pypi.org/project/smt-sudoku-mcp/0.1.0/ An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT) anirbanbasu@users.noreply.github.com Thu, 27 Aug 2026 00:37:56 GMT