MiniZinc MCP ServerCode AnalysisCode ExecutionDeveloper ToolscarbanAlicenseBqualityBmaintenanceEnables LLM agents to parse, validate, and solve MiniZinc constraint models directly from chat sessions, returning solutions and solver statistics. Updated a month ago (2026-10-08 22:03 UTC)47MIT