V-Sekai-fire's Minizinc

|

What it does

|Scan complete

MCP server providing MiniZinc constraint programming capabilities, supporting model solving with the chuffed solver, model validation, MZN and DZN content handling, and both STDIO and HTTP transports with SSE streaming.