Skip to content

DEP: remove getOp and Operator - #1259

Open
Zeroto521 wants to merge 17 commits into
scipopt:masterfrom
Zeroto521:RemoveOP
Open

Zeroto521 wants to merge 17 commits into
scipopt:masterfrom
Zeroto521:RemoveOP

Commits

Commits on Jun 8, 2026

Commits on Jun 9, 2026

Commits on Jun 11, 2026

Commits on Jun 21, 2026

Commits on Sep 19, 2026

Commits on Sep 20, 2026