CP-SAT 9.15.6755: 存储安全性回归,构建大型模型 — `std::bad_alloc` 通过 `repr(IntVar)`,以及堆内存破坏(0xC0000374) 通过 `IntVar.Proto()`(在 9.14 上可用)
作者: IDrei创建于 2026年8月19日更新于 2026年9月15日
标签Solver: CP-SAT Solver
**哪个版本的 OR-Tools 和使用哪种语言？**
内容来源: google/or-tools
**哪个版本的 OR-Tools 和使用哪种语言？**
内容来源: google/or-tools