Hey guys!
We are interested in implementing the "stop search after no new solutions found in last X seconds" termination condition while using CPSAT with Python. I remember this condition being quite common and useful in metaheuristics. So I figured it could help us as well, particularly since we are having a hard time guesstimating a good time limit based on instance size.
Until OR-Tools v9.1, I would have just implemented a callback, kept track of the time and used `SolveWithSolutionCallback`. However, as `SolveWithSolutionCallback` will be deprecated, what's a good approach that is compatible with future versions?
Note, that we're more interested in actual solutions rather than bound improvements. And obviously we are using multiple workers :)
Best,
Priidik