Re: [or-tools-discuss] Or tools SearchForAllSolutions terminating after finding all possible solution

[Laurent Perron]

I like when we write documentation and examples that are never read :-(

https://github.com/google/or-tools/blob/stable/ortools/sat/doc/solver.md

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

Le mer. 24 mars 2021 à 14:03, Tarik Ouhamou <tarik....@gmail.com> a écrit :

Hello im using or-tools for a scheduling problem, and using SearchForAllSolutions method of the cp solver.

I know there is two way to stop the search either by specifying a time limit or specifying a number of solutions and stoping the search when reaching that number.

But is there a way to stop the solver automatically from searching when he reached all the possible solution.

Thanks in advance.

--
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/2e7c954f-43bf-443b-a64e-03d8a32ea423n%40googlegroups.com.

[blind.line]

Hey now, “never” is too strong a word. I for one have read and re-read those docs multiple times. 

But they are a little hard to find coming from the main website, say from here: https://developers.google.com/optimization/cp/cp_solver

or here https://developers.google.com/optimization/reference/sat

James

On Mar 24, 2021, at 06:14, 'Laurent Perron' via or-tools-discuss <or-tools...@googlegroups.com> wrote:



To view this discussion on the web visit https://groups.google.com/d/msgid/or-tools-discuss/CABcmEeZNBpEO_Yr8NoR9tO3F1rYxPfCpeebcUtjkyJf%3DLVzuWA%40mail.gmail.com.

[Xiang Chen]

I don't quite get the question, doesn't the solver automatically stop when all the possible solutions are found?

[Laurent Perron]

It does, but it can be long

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/CANuGQjzkXT40MrSQ8Sc_WkwA%2BqOfvZ46YqBOwCAqa1zM2-oVUg%40mail.gmail.com.

[Laurent Perron]

Actually:

https://developers.google.com/optimization/cp/cp_tasks

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/010C10F6-6CA9-4B09-AE2A-482BFB292F92%40gmail.com.