标签：约束编程

提供MiniZinc约束编程能力的MCP服务器，支持模型求解、验证及多种传输协议。