找到 2 个结果
MCP Solver是一个MCP服务器，通过集成MiniZinc约束求解器，为LLM提供约束建模、求解和知识管理能力，使其能够处理复杂的约束优化问题。
MCP Solver 是一个MCP服务器，通过集成MiniZinc约束求解器，为LLM提供约束建模和求解能力，支持模型编辑、求解和解信息查询，以及知识库管理。