add support for user-provided decompositions#842

Draft

ctdunc wants to merge 4 commits intoscipopt:masterfrom ctdunc:feature/custom-decomp

+252

Commits on Apr 11, 2024

commit relative to upstream master
ctdunc
committed

Commits on Apr 15, 2024

Commits on Dec 9, 2024

Merge branch 'master' into feature/custom-decomp
Joao-Dionisio
authored