Update stubs with node selection methods#1101

Merged

Joao-Dionisio merged 6 commits intoscipopt:masterfrom

jonathanberthias:stubs-update

Nov 12, 2025

Commits on Oct 30, 2025

Commits on Nov 6, 2025

Merge branch 'master' into stubs-update
Joao-Dionisio
authored

Commits on Nov 8, 2025

Add stubs for node selection methods
jonathanberthias
committed

Commits on Nov 10, 2025

Merge branch 'master' into stubs-update
Joao-Dionisio
authored

Commits on Nov 12, 2025

Merge branch 'master' into stubs-update
Joao-Dionisio
authored