Deprecated Term.ptrtuple and speed up Term.__eq__#1184
Open
Zeroto521 wants to merge 11 commits intoscipopt:masterfrom
Open
Deprecated Term.ptrtuple and speed up Term.__eq__#1184Zeroto521 wants to merge 11 commits intoscipopt:masterfrom
Term.ptrtuple and speed up Term.__eq__#1184Zeroto521 wants to merge 11 commits intoscipopt:masterfrom
Commits
Commits on Feb 4, 2026
- committed
- committed
- committed
- committed
- committed
- andauthored
- committed
