kdrag.smt.is_power

kdrag.smt.is_power(x: ExprRef) → bool

Check if an expression is a power. >>> x = z3.Real(“x”) >>> is_power(x**3) True