Ortools integrates Google's OR-Tools constraint programming solver with Large Language Models through the Model Context Protocol, enabling AI models to submit and validate constraint models, set model parameters, solve constraint satisfaction and optimization problems, and retrieve and analyze solutions. It supports JSON-based model specification with features like integer/boolean variables, linear constraints, linear optimization objectives, timeouts, and binary constraints. This allows users to easily define and solve optimization problems ranging from simple models to complex scenarios like knapsack problems.
Características Principales
01Full OR-Tools CP-SAT solver support
02JSON-based model specification
03Supports integer and boolean variables
04Supports linear constraints using OR-Tools method syntax
05Supports linear optimization objectives
