标签：优化求解

CHUK MCP Solver是一个基于Google OR-Tools CP-SAT求解器的通用约束和优化求解器，提供约束满足和优化能力，适用于调度、资源分配、逻辑谜题等多种场景。

一个基于Google OR-Tools的优化问题求解服务器，提供线性规划、整数规划、混合整数规划和经典组合优化问题的解决方案。