Open zaddan opened 4 years ago
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?
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?