Skip to content

add timeout parameter and SolverOptions to return early#499

Merged
baszalmstra merged 6 commits intoconda:mainfrom wolfv:add-timeoutJan 30, 2024