What solver does MCP-ORTools use?
It uses Google OR-Tools CP‑SAT solver for constraint satisfaction and optimization.
@Jacck
基本信息
Model Context Protocol (MCP) server implementation using Google OR-Tools for constraint solving
使用下面的配置,将此服务器添加到你的 MCP 客户端。
{
"mcpServers": {
"ortools": {
"command": "python",
"args": [
"-m",
"mcp_ortools.server"
]
}
}
}工具列表暂未提供
当前收录暂时没有可展示的工具列表,不代表服务没有工具。请查阅项目文档了解支持的能力。
工具是从 README 中自动提取的。维护者可以在 ## Tools 标题下列出工具,即可填充这部分内容。
A Model Context Protocol (MCP) server implementation using Google OR-Tools for constraint solving. Designed for use with Large Language Models through standardized constraint model specification.
Install the package via pip install git+https://github.com/Jacck/mcp-ortools.git, then configure it as an MCP server in Claude Desktop by adding the server entry to claude_desktop_config.json with command python -m mcp_ortools.server. Models are submitted in JSON format with variables, constraints, and an optional objective.
It uses Google OR-Tools CP‑SAT solver for constraint satisfaction and optimization.
Models are specified in JSON with three sections: `variables` (name and domain), `constraints` (OR‑Tools method syntax), and an optional `objective` (linear expression and maximize/minimize flag).
The solver returns OPTIMAL, FEASIBLE, INFEASIBLE, or UNKNOWN.
Basic arithmetic (+, -, *) and comparisons via `.__le__()`, `.__ge__()`, `.__eq__()`, `.__ne__()`.
MIT License.

Run advanced phishing, voice phishing, deepfake fraud simulations, and cybersecurity awareness training from your AI assistant.
This open-source curriculum introduces the fundamentals of Model Context Protocol (MCP) through real-world, cross-language examples in .NET, Java, TypeScript, JavaScript, Rust and Python. Designed for developers, it focuses on practical techniques for building modular, scalable,

A free remote MCP server for The Living Bread. Bible passages read word for word from a stored public domain text with an evidence label, keyword search and cross references, real churches, gatherings and prayer groups w

Model Context Protocol Servers
🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。
评论