ORTools-在路由问题中使用不同的求解器
ORTools- use different solvers in routing problem
我知道在整数优化问题中，我们可以使用differenct求解器（cp-sat或original-cp）。在路由问题（tsp或其他）中如何使用differenct求解问题。我发现这个函数（SolveModelWithSat）可能可以通过 ortools 文档使用不同的求解器，但我不知道如何使用它。
有一些参数可以控制使用什么。
请注意，CP-SAT 实现并不支持所有功能。
我知道在整数优化问题中，我们可以使用differenct求解器（cp-sat或original-cp）。在路由问题（tsp或其他）中如何使用differenct求解问题。我发现这个函数（SolveModelWithSat）可能可以通过 ortools 文档使用不同的求解器，但我不知道如何使用它。
有一些参数可以控制使用什么。 请注意，CP-SAT 实现并不支持所有功能。