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

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

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

用于线性优化谷歌的“内部开放源代码GLOP”用于

用于网络流优化似乎使用了自己的求解器(“或工具在其图形库中为网络流问题提供了多个求解器。”)

用于混合整数编程，默认情况下使用开源程序“COIN OR branch＆cut”(但可以集成SCIP，GLPK和Gurobi)

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

有没有人碰巧知道哪个求解器用于CSP/VRP，或者您发现我过度阅读的内容？

最佳答案

这在邮件列表/github问题上得到了多次回答:

路由库使用CP求解器，其顶部是“本地搜索”实现。看到这个Github issue

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

关于constraint-programming - 适用于CSP和VRP的Google OR-Tools模块使用哪个求解器？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/57123397/