cp-sat

用于构建、调优或调试 Google OR-Tools CP-SAT 模型——组合优化、调度（无重叠/累积/资源池）、路径规划（通过电路求解 TSP/VRP）、装箱（2D/3D）、分配或约束满足问题；当从 `ortools.sat.python` 导入模块、使用 `cp_model.CpModel`/`CpSolver`，或在 CP-SAT 与 MIP/SAT/SMT 求解器之间进行选择时触发。

模型生成摘要（rules/v1 · 2026-11-15 13:44）：用于构建、调优或调试 Google OR-Tools CP-SAT 模型——组合优化、调度（无重叠/累积/资源池）、路径规划（通过电路求解 TSP/VRP）、装箱（2D/3D）、分配或约束满足问题；当从 `ortools
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-15 13:44	d96edc54	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。