Correctly re-map source ranges in new SCIP-based APIs

Unmerged
Merging vg/scip-document-fix into mainView on GitHub
0
Builds
0
Discussions
No activity yet. Complete setup to visualize this pull request. Learn more