Skip to content

fix: treat SCIP condition gaplimit as optimal#448

Merged
FabianHofmann merged 1 commit intomasterfrom
scip-gap-limit-optimal
Apr 26, 2025
Merged

fix: treat SCIP condition gaplimit as optimal#448
FabianHofmann merged 1 commit intomasterfrom
scip-gap-limit-optimal

Commits

Commits on Apr 26, 2025