DEP: remove _is_number(Expr) from expr.pyi file#1168
Open
Zeroto521 wants to merge 5 commits intoscipopt:masterfrom
Open
DEP: remove _is_number(Expr) from expr.pyi file#1168Zeroto521 wants to merge 5 commits intoscipopt:masterfrom
_is_number(Expr) from expr.pyi file#1168Zeroto521 wants to merge 5 commits intoscipopt:masterfrom