What solver does MCP-ORTools use?
It uses Google OR-Tools CP‑SAT solver for constraint satisfaction and optimization.
@Jacck
Basic information
Model Context Protocol (MCP) server implementation using Google OR-Tools for constraint solving
Add this server to your MCP-compatible client using the configuration below.
{
"mcpServers": {
"ortools": {
"command": "python",
"args": [
"-m",
"mcp_ortools.server"
]
}
}
}Tool list not available yet
This listing does not currently have a tool list to display. This does not mean the server has no tools; check its documentation for supported capabilities.
We auto-extract tools from the README. The maintainer can list them under a ## Tools heading to populate this section.
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.
AI Agents & MCPs & AI Workflow Automation • (~400 MCP servers for AI agents) • AI Automation / AI Agent with MCPs • AI Workflows & AI Agents • MCPs for AI Agents

DeepMark helps teachers deliver rapid, consistent marking with meaningful feedback for every student — in a fraction of the time. What once took a week, now takes one free period.
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

Health by Dr Brad works out a health plan from your own results: which screening is due at your age, and evidence-based suggestions, each with the reason and the published guideline or study behind it. Your record is one

Model Context Protocol Servers
Comments