谷歌和VRP使用的工具模块是哪一种？

Question

我目前正在评估谷歌或-工具，只是注意到它本身并不是一个真正的解决者，而主要是一个与其他解决程序的接口。我想知道的是这个框架用于约束和路由问题的解决者。

我已经仔细查看过https://developers.google.com/optimization/，但只发现

• 对于线性优化，使用了Google的“内部，开源的幸灾乐祸”
• 对于网络流优化，似乎使用了自己的求解器("OR-Tools为其图形库中的网络流问题提供了几个求解器“)。
• 对于混合整数编程，默认使用开源程序“硬币或分支&切割”(但可以集成SCIP、GLPK和Gurobi )。

但是，在CP & VRP信息/指南站点上，没有任何关于这些问题的解决方法的指示.

有没有人碰巧知道CSP / VRP使用的是哪个解算器，或者你有没有发现我过读过的东西？

Answer 1

在邮件列表/github问题上多次回答了这一问题：

• 路由库使用CP求解器，上面是本地搜索实现。参见此Github问题
• CP求解器在SAT求解器之上使用一个惰性子句生成求解器.最好的描述是Peter的一个名为搜索是死的的演示文稿。还有一个来自CPAIOR主类的关于YouTube的视频。https://youtu.be/lmy1ddn4cyw