code-intel: Don't panic on errors in SCIP code paths.#847
Merged
varungandhi-src merged 1 commit intomainfrom Sep 29, 2022
Merged
code-intel: Don't panic on errors in SCIP code paths.#847varungandhi-src merged 1 commit intomainfrom
varungandhi-src merged 1 commit intomainfrom