Skip to content

DEP: remove getOp and Operator - #1259

Merged
Joao-Dionisio merged 26 commits into
scipopt:masterfrom
Zeroto521:RemoveOP
Oct 11, 2026
Merged

Joao-Dionisio merged 26 commits into
scipopt:masterfrom
Zeroto521:RemoveOP

Commits

  1. Commits on Jun 8, 2026

  2. Commits on Jun 9, 2026

  3. Commits on Jun 11, 2026

  4. Commits on Jun 21, 2026

  5. Commits on Sep 19, 2026

  6. Commits on Sep 20, 2026

  7. Commits on Oct 5, 2026

  8. Commits on Oct 9, 2026

  9. Commits on Oct 11, 2026