How to use pywrapcp.SolveModelWithSat?

[bron silent]

Hi, there. I am trying to use pywrapcp.SolveModelWithSat method, I read the doc and find this method can invoke CP-SAT to solve one vehicle routing problem. But somehow I tried a very simple three point problem, it returns a False which means infeasible accroding to the doc. Would anybody used this method tell me how to use this method? the discription of this method really makes me puzzled. Thanks a lot  

[Laurent Perron]

It is an internal method that works on a sunset of routing model. It should not be called directly.

There is a parameter that controls whether CP-SAT will be used.  

Le mar. 23 août 2022, 08:03, bron silent <lexi.g...@gmail.com> a écrit :

Hi, there. I am trying to use pywrapcp.SolveModelWithSat method, I read the doc and find this method can invoke CP-SAT to solve one vehicle routing problem. But somehow I tried a very simple three point problem, it returns a False which means infeasible accroding to the doc. Would anybody used this method tell me how to use this method? the discription of this method really makes me puzzled. Thanks a lot  

--
You received this message because you are subscribed to the Google Groups "or-tools-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to or-tools-discu...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/or-tools-discuss/a8807e78-781c-494b-83ef-c4d71786c9e6n%40googlegroups.com.

[bron silent]

Thanks for your reply,  and would you please specify which parameter can I use to control  CP-SAT`s usage?

Is the parameter below? 

'''

def SolveModelWithSat(model: RoutingModel, search_parameters: operations_research::RoutingSearchParameters const &, initial_solution: Assignment, solution: Assignment) -> 'bool'

'''

[Laurent Perron]

The one with cp-sat ?

https://github.com/google/or-tools/blob/82750ac12f1ee5354e1c7869894d9af3508778f2/ortools/constraint_solver/routing_parameters.proto#L433

and the one below.

Laurent Perron | Operations Research | lpe...@google.com | (33) 1 42 68 53 00

To view this discussion on the web visit https://groups.google.com/d/msgid/or-tools-discuss/776bf93c-3f3b-46f2-832c-52368e9acc43n%40googlegroups.com.

[bron silent]

many thanks for your reply!