约束优化专家

该插件专注于使用 Google OR-Tools CP-SAT 求解器解决约束满足问题和优化问题，擅长于 CSP 建模、调度、路径规划、分配问题及性能优化。