"问题求解"标签的搜索结果

MCP Solver是一个MCP服务器，通过集成MiniZinc约束求解器，为LLM提供约束建模、求解和知识管理能力，使其能够处理复杂的约束优化问题。