Interrupting solver on Windows PowerShell

[Mapiarz]

Hi! I have a python program with CP-SAT solver. On linux, I can press ctrl+c once to interrupt the solver and then continue exceution of the remainder of the program (e.g. print the latest solution).

On windows, pressing ctrl+c immediately terminates the program. Is there any way I can mimic the linux behaviour on windows?

Thanks

[lperron]

send a PR to implement the complex sigint processing on windows. The code is in ortools/util/sigint.cc :-)

[Mapiarz]

What about working this around at application level? I tried running the solver in a background thread (using asyncio and ThreadPoolExecutor) and that works, but when I call solver.StopSearch, nothing seems to happen and the solver continues to search for solutions.

Any ideas?

[lperron]

No idea, the sample StopAfterNSolutionsSampleSat.cs works. So the stopping mechanism works. Laurent Perron | Operations Research | ***@***.*** | (33) 1 42 68 53 00 Le lun. 28 févr. 2022 à 14:15, Mapiarz ***@***.***> a écrit :

…

What about working this around at application level? I tried running the solver in a background thread (using asyncio and ThreadPoolExecutor) and that works, but when I call solver.StopSearch, nothing seems to happen and the solver continues to search for solutions. Any ideas? — Reply to this email directly, view it on GitHub <#3144 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACUPL3OQWJXBOZFOOMRLNSLU5NYNJANCNFSM5PH4H46Q> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you commented.Message ID: ***@***.***>