Reputation: 23
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.
Upvotes: 1
Views: 546
Reputation: 11034
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
Upvotes: 1