zaddan opened this issue 4 years ago · 0 comments
Is there a way to pass in a time budget for the solver, so that if it can't find the solution within the specified time duration, it should terminate?