我目前正在评估谷歌或工具，只是注意到它本身并不是一个真正的求解器，而主要是与其他求解器的接口。我想知道的是这个框架使用哪些求解器来解决约束和路由问题。
我已经彻底看透了 https://developers.google.com/optimization/，但只发现
- 用于线性优化 谷歌的"内部开源 GLOP"被使用
- 对于网络流优化，似乎使用了自己的求解器("OR-Tools 在其图形库中为网络流问题提供了多个求解器。
- 对于混合整数编程，默认情况下使用开源程序"COIN OR branch&cut"(但可以集成SCIP，GLPK和Gurobi)
但是在CP和VRP信息/指南网站上，没有迹象表明这些问题使用什么求解器......
有没有人碰巧知道哪个求解器用于CSP/VRP，或者你发现了我过度阅读的东西？
这在邮件列表/github问题上得到了多次回答：
-
路由库使用顶部带有本地搜索实现的 CP 求解器。 请参阅此 Github 问题
-
CP-SAT 求解器在 SAT 求解器之上使用惰性子句生成求解器。最好的描述是彼得·斯塔基(Peter Stuckey)的演讲，名为"搜索已死"。YouTube上还有CPAIOR大师班的视频。 https://youtu.be/lmy1ddn4cyw