Use Arc<ScipPtr> in place of all scip pointer uses#155
Merged
mmghannam merged 10 commits intomainfrom arc-scipptrOct 21, 2024
+91-80
Commits
Commits on Oct 13, 2024
- committed
- committed
Commits on Oct 17, 2024
- committed
- committed
- committed
- committed