Extend Functionality to Use the Presolver Plugin and Add a Tutorial#1076
Merged
Joao-Dionisio merged 29 commits intoscipopt:masterfrom Jan 28, 2026
Merged
Extend Functionality to Use the Presolver Plugin and Add a Tutorial#1076Joao-Dionisio merged 29 commits intoscipopt:masterfrom
Joao-Dionisio merged 29 commits intoscipopt:masterfrom
Commits
Commits on Oct 3, 2025
- committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185 - committed
fvz185
Commits on Oct 4, 2025
- committed
fvz185 - committed
fvz185
Commits on Oct 5, 2025
- andauthored
Commits on Oct 7, 2025
Commits on Nov 20, 2025
Commits on Nov 28, 2025
- committed
fvz185 - committed
fvz185 - committed
fvz185