S
MCP Solver
By szeider·Visit Source
集成SAT、SMT与LLM约束求解的MCP服务器
2025年1月28日
22 days ago
68 Clicks
什么是MCP
该MCP（模型上下文协议）服务器将SAT、SMT和约束求解能力与大型语言模型相结合，通过标准化接口使AI模型能够创建、编辑和解决复杂约束问题。
如何使用MCP
MCP求解器支持三种模式（MiniZinc、PySAT、Z3）的不同后端。用户可通过add_item、delete_item、replace_item、get_model和solve_model等命令以编程方式构建和求解约束模型。
MCP应用场景
适用于解决各类约束满足问题，包括逻辑谜题（如N皇后问题）、优化问题（如旅行商问题），以及需要SAT/SMT求解器或约束编程的复杂现实场景。
Repository Info
Stars:
58
Forks:
5
Watchers:
58
Last Updated: 26 days ago
