Repository navigation

Make `LP.name` and `Term.vartuple` read-only in stubs - #1276

Merged

Joao-Dionisio merged 2 commits into

scipopt:masterfrom

Zeroto521:readonly-property

Oct 19, 2026

Merged

Make `LP.name` and `Term.vartuple` read-only in stubs#1276
Joao-Dionisio merged 2 commits into
scipopt:masterfrom
Zeroto521:readonly-property

Commits on Oct 19, 2026
- Make LP.name and Term.vartuple read-only in stubs
  Zeroto521
  committed
  db4ddad
- Merge branch 'master' into readonly-property
  Joao-Dionisio
  authored
  d479ef9