适用于CSP和VRP的Google OR-Tools模块使用哪个求解器？

Question

我目前正在评估google或工具，只是注意到它本身并不是一个真正的求解器，而主要是与其他求解器的接口。我想知道的是此框架使用哪些求解器来约束和路由问题。

我已经通过https://developers.google.com/optimization/进行了仔细的研究，但才发现

• 为了进行线性优化，使用了Google的“内部开放源代码GLOP”
• 为了优化网络流量，似乎使用了自己的求解器（“ OR-Tools在其图形库中为网络流量问题提供了多个求解器。”）
• 对于混合整数编程，默认情况下使用开源程序“ COIN OR branch＆cut”（但可以集成SCIP，GLPK和Gurobi）

但是在CP和VRP信息/指南站点上，没有指示使用哪种求解器来解决这些问题...

有人碰巧知道用于CSP / VRP的求解器，还是您发现我读过的东西？

Answer 1

在邮件列表/ github问题上已多次回答：

• 路由库使用CP求解器，其顶部是Local Search实现。看到这个Github issue

• CP-SAT求解器在SAT求解器的顶部使用了惰性子句生成求解器。最好的描述是Peter Stuckey的演讲，Search is Dead