找到 4 个结果
MCP-ORTools: 提供基于Google OR-Tools的约束求解MCP服务器，使LLM能进行约束建模和优化。
MCP Solver是一个MCP服务器，通过集成MiniZinc约束求解器，为LLM提供约束建模、求解和知识管理能力，使其能够处理复杂的约束优化问题。
MCP Solver 是一个MCP服务器，通过集成MiniZinc约束求解器，为LLM提供约束建模和求解能力，支持模型编辑、求解和解信息查询，以及知识库管理。
基于MCP协议，使用Google OR-Tools作为后端，为LLM提供约束求解能力的MCP服务器。