szeider-mcp-solver
A Model Context Protocol (MCP) server that integrates MiniZinc constraint solving capabilities with Large Language Models, enabling AI models to create, edit, validate, and solve constraint models.
Tools
Parameters
| Parameter | Description |
|---|---|
| Full path to the mcp-solver directory* | Single value |