Skip to content

DEP: remove _is_number(Expr) from expr.pyi file#1168

Merged
Joao-Dionisio merged 7 commits intoscipopt:masterfrom
Zeroto521:dep/_is_number(self)
Jan 30, 2026
Merged

DEP: remove _is_number(Expr) from expr.pyi file#1168
Joao-Dionisio merged 7 commits intoscipopt:masterfrom
Zeroto521:dep/_is_number(self)

Commits

Commits on Jan 22, 2026

Commits on Jan 23, 2026

Commits on Jan 29, 2026

Commits on Jan 30, 2026