OR-Tools

Summary

This MCP server implementation, developed by Jacck, integrates Google's OR-Tools constraint programming solver with Large Language Models. It enables AI models to submit, validate, and solve constraint satisfaction and optimization problems using a standardized JSON-based model specification. The server supports integer and boolean variables, linear constraints using OR-Tools method syntax, and linear optimization objectives. It's designed for use with Claude Desktop and can handle a variety of problem types including portfolio selection and knapsack problems. This implementation is particularly useful for AI-assisted decision making in logistics, resource allocation, and operations research, where complex constraints need to be modeled and solved efficiently.