SAT

MCP 求解器 MCP 服务器

MCP 求解器是一款模型上下文协议（MCP）服务器，为 AI 助理和大语言模型（LLM）提供高级的 SAT、SMT 和约束优化能力。它支持复杂数学模型的交互式创建、修改与求解，简化科研、工程和决策流程。...