Back to MCP directory
publicPublicdnsLocal runtime

mcp-solver

MCP Solver是一个通过模型上下文协议(MCP)将SAT、SMT和约束求解能力暴露给大型语言模型的服务器。

article

README

🚀 MCP 解算器

MCP 解算器是一款功能强大的工具,支持多种建模语言,可解决混合互补性问题 (MCP)。它集成了多款世界领先的求解器,还配有详细文档和示例代码,让用户轻松上手。

🚀 快速开始

MCP 解算器支持 Windows、Linux 和 macOS 系统,你可以从 GitHub 免费获取其源码或预编译版本。以下是快速入门的步骤:

  1. 初始化:创建一个新项目并加载所需的建模语言。
  2. 定义问题:使用建模语言描述你的 MCP 问题,包括变量、约束和目标函数。
  3. 求解:选择合适的求解器并运行程序,获取结果。

✨ 主要特性

  • 多语言支持:兼容 AIMMS、GAMS 和 Julia。
  • 内置求解器:包括 PATH、MILES 和 CONOPT 等行业领先的求解器。
  • 文档完善:提供详细的用户指南和技术文档,帮助用户快速上手。
  • 示例丰富:涵盖多个行业的实际案例,方便学习和参考。

📦 安装指南

GitHub 免费获取 MCP 解算器的源码或预编译版本,该解算器支持 Windows、Linux 和 macOS 系统。

💻 使用示例

基础用法

示例 1: 简单 MCP 模型

function mcp_example()
    # 定义变量
    x = variable(lb=0)
    y = variable(lb=0)
    
    # 定义方程
    F(x, y) = x + y - 1 == 0
    G(x, y) = 2x + y - 3 == 0
    
    # 求解问题
    solve MCP(F=Fx, G=Gx)
end

示例 2: 实际经济模型

Positive Variable x, y;
Equation F, G;

F.. x + y = 1;
G.. 2*x + y = 3;

Model m / F.x, G.y/;
Solve m using MCP;

高级用法

示例 1: 简单 MCP 模型

  • 输入:定义两个变量 x 和 y,并建立两个方程 F 和 G。
  • 输出:解算器返回 x=1, y=0。

示例 2: 经济模型

  • 输入:描述市场均衡问题,包括供给和需求函数。
  • 输出:计算出均衡价格和产量。

操作命令示例

清除模型

clear_model
# 输出: 模型已清除

添加项

add_item multiple
# 输入您的建模代码(如 AIMMS、GAMS 或 Julia)

解决问题

solve_model
# 输出: 显示求解结果,包括目标值和变量的值

📚 详细文档

反馈

您可以通过 反馈表 提供宝贵意见。

免责声明

MCP 解算器目前处于原型阶段,尚未经过全面测试。在关键环境中使用请谨慎。

📄 许可证

本项目采用 MIT 许可证,具体条款详见 LICENSE 文件。

help

Runtime guide

cloud

Hosted runtime

Hosted servers run from a provider-managed environment. You usually connect the MCP client to the hosted endpoint or follow the provider's authorization flow, without keeping a local process alive

  1. Open provider connection page
  2. Authorize or copy endpoint
  3. Connect from your MCP client
terminal

Local runtime / other methods

Local servers run on your own machine or infrastructure. You normally copy the server_config into your MCP client, install the required package, and provide env variables from env_schema when needed

  1. Copy server_config
  2. Install required package
  3. Fill env variables and restart client