用于 CSP 和 VRP 的 Google OR-Tools 模块使用哪个求解器？
Which solver do Googles OR-Tools Modules for CSP and VRP use?
我目前正在评估 googles or-tools，只是注意到它本身并不是真正的求解器，而主要是与其他求解器的接口。我想知道这个框架使用哪些求解器来解决约束和路由问题。
我已经翻遍了https://developers.google.com/optimization/，只发现
- 用于线性优化Google的"in-house, open-source GLOP"被使用
- 对于网络流量优化，似乎使用了自己的求解器 ("OR-Tools provides several solvers for network flow problems in its graph libraries.")
- 混合整数规划默认使用开源程序"COIN OR branch&cut"（但可以集成SCIP、GLPK和Gurobi）
但是在 CP 和 VRP info/guide 站点上，没有说明使用什么求解器来解决这些问题...
有没有人碰巧知道 CSP/VRP 使用哪个解算器，或者您是否发现了我看多了的内容？
这个问题在邮件 list/github 问题上被多次回答：
路由库使用 CP 求解器，并在顶部实现了本地搜索。看到这个 Github issue
CP-SAT 求解器在 SAT 求解器之上使用惰性子句生成求解器。最好的描述是来自 Peter Stuckey 的演讲 Search is Dead. There is also a video on YouTube from the CPAIOR master class. https://youtu.be/lmy1ddn4cyw
我目前正在评估 googles or-tools，只是注意到它本身并不是真正的求解器，而主要是与其他求解器的接口。我想知道这个框架使用哪些求解器来解决约束和路由问题。
我已经翻遍了https://developers.google.com/optimization/，只发现
- 用于线性优化Google的"in-house, open-source GLOP"被使用
- 对于网络流量优化，似乎使用了自己的求解器 ("OR-Tools provides several solvers for network flow problems in its graph libraries.")
- 混合整数规划默认使用开源程序"COIN OR branch&cut"（但可以集成SCIP、GLPK和Gurobi）
但是在 CP 和 VRP info/guide 站点上，没有说明使用什么求解器来解决这些问题...
有没有人碰巧知道 CSP/VRP 使用哪个解算器，或者您是否发现了我看多了的内容？
这个问题在邮件 list/github 问题上被多次回答：
路由库使用 CP 求解器，并在顶部实现了本地搜索。看到这个 Github issue
CP-SAT 求解器在 SAT 求解器之上使用惰性子句生成求解器。最好的描述是来自 Peter Stuckey 的演讲 Search is Dead. There is also a video on YouTube from the CPAIOR master class. https://youtu.be/lmy1ddn4cyw