fix: set proper include and lib paths for building within conda#1125
Merged
Joao-Dionisio merged 5 commits intoscipopt:masterfrom Dec 5, 2025
Merged
fix: set proper include and lib paths for building within conda#1125Joao-Dionisio merged 5 commits intoscipopt:masterfrom
Joao-Dionisio merged 5 commits intoscipopt:masterfrom
Commits
Commits on Dec 3, 2025
Commits on Dec 4, 2025
- andauthored
- andauthored
- authored
