ORTools- use different solvers in routing problem

473 Views Asked by At

I know in Integer Optimization problem, we can use different solver(CP-SAT or original-CP).In routing problem(tsp or other)how to use different solve problem. I find this function(SolveModelWithSat) maybe can use different solver by the OR-Tools document,but I have no idea how to use it.

1

There are 1 best solutions below

1
On BEST ANSWER

There are parameters that control what to use. Please note that CP-SAT implementation does not support all features.

See: This section in the parameter file