What solvers does Mcp_constrained_optimization support?
It supports Z3 for constraint satisfaction, CVXPY for convex optimization, HiGHS for linear/mixed-integer programming, and OR-Tools for constraint programming.
@Sharmarajnish
基本信息
暂无概览
使用下面的配置,将此服务器添加到你的 MCP 客户端。
{
"mcpServers": {
"MCP-Constrained-Optimization": {
"command": "python",
"args": [
"examples/nqueens.py"
]
}
}
}工具列表暂未提供
当前收录暂时没有可展示的工具列表,不代表服务没有工具。请查阅项目文档了解支持的能力。
工具是从 README 中自动提取的。维护者可以在 ## Tools 标题下列出工具,即可填充这部分内容。
Mcp_constrained_optimization is a general-purpose MCP server for solving combinatorial optimization problems with logical and numerical constraints. It provides a unified interface to multiple optimization solvers, enabling AI assistants to handle complex optimization across various domains.
Install via pip install constrained-opt-mcp, then start the server with constrained-opt-mcp. Add it to your MCP client configuration using the command constrained-opt-mcp with no arguments. The server exposes five tools: solve_constraint_satisfaction, solve_convex_optimization, solve_linear_programming, solve_constraint_programming, and solve_portfolio_optimization.
It supports Z3 for constraint satisfaction, CVXPY for convex optimization, HiGHS for linear/mixed-integer programming, and OR-Tools for constraint programming.
Install via pip: `pip install constrained-opt-mcp`. You can also clone the repository and run `pip install -e .` from the source directory.
The server handles linear programming, quadratic programming, convex optimization, constraint satisfaction problems, and portfolio optimization.
Yes, it is purpose-built for use with AI assistants through the Model Context Protocol (MCP).
It is licensed under the Apache License 2.0.

Yuppsy MCP: build and publish real estate websites from your AI assistant. Yuppsy lets your AI assistant create live websites for real estate agents and individual property listings. You don't need a designer or any code
Painless E2E Automation for Mobile and Web
PickFu MCP is a Model Context Protocol (MCP) server that connects AI assistants, developers, marketers, product managers, and AI agents to PickFu's consumer research platform. It enables users to create surveys, conduct

Soar Flight Booking MCP is a remote MCP server available at https://mcp.soar.flights.

Model Context Protocol Servers
评论