Use real parameter names in stubs#1145
Merged
Joao-Dionisio merged 12 commits intoscipopt:masterfrom Jan 6, 2026
Merged
Commits
Commits on Jan 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed