Last released Oct 15, 2026
Local-first MCP server for constraint solving with MiniZinc and OR-Tools CP-SAT