Skip to content

Extend Functionality to Use the Presolver Plugin and Add a Tutorial#1076

Merged
Joao-Dionisio merged 29 commits intoscipopt:masterfrom
fvz185:feature/extend-presolver-plugin
Jan 28, 2026
Merged

Extend Functionality to Use the Presolver Plugin and Add a Tutorial#1076
Joao-Dionisio merged 29 commits intoscipopt:masterfrom
fvz185:feature/extend-presolver-plugin

Commits

Commits on Oct 4, 2025

Commits on Oct 5, 2025

Commits on Oct 7, 2025

Commits on Nov 20, 2025

Commits on Jan 18, 2026