"Chuffed求解器"标签的搜索结果

MCP Solver 是一个MCP服务器，通过集成MiniZinc约束求解器，为LLM提供约束建模和求解能力，支持模型编辑、求解和解信息查询，以及知识库管理。