关于 Mcp Solver
Mcp Solver 是一个基于 Model Context Protocol 的 MCP 服务器，将 MiniZinc 约束编程语言与大型语言模型连接起来，让 LLM 能够以自然语言描述约束优化问题，并由求解器完成建模与计算。
它能做什么
- 约束建模：根据需求生成 MiniZinc 模型，包括变量声明、约束表达式与目标函数。
- 调度与排程：求解生产排班、资源分配、课程表、人员排班等组合优化问题。
- 组合优化：处理背包、路径、指派、装箱、切割等典型 NP 问题。
- 求解器后端：可调用 Gecode、Chuffed、CBC 等多种 MiniZinc 支持的求解器。
- 结果解析：读取求解结果并以结构化数据返回，便于后续 LLM 对话使用。
使用提示
Mcp Solver 通常作为本地进程运行，理论上无需远程 API 密钥；若你的部署环境中将 MiniZinc 求解器托管在远端，可能需要相应服务端的访问凭证，请在客户端配置中按需填写。
