摘要
arXiv:2501.00539v2 宣告类型: 替换
摘要: MCP Solver 通过 Model Context Protocol (MCP) 将大型语言模型 (LLMs) 与符号求解器连接起来,MCP 是一种开源的 AI 系统集成标准。为 LLMs 提供形式求解和推理能力的访问权限,弥补了它们的关键不足之处,同时发挥其优势。我们的实现提供了与约束编程(Minizinc)、命题可满足性(PySAT)以及理论模态 SAT(Python Z3)的接口。该系统采用迭代验证的编辑方法,确保在修改过程中模型的一致性,并允许结构化的改进。