kdrag.theories.real.sympy.expand

kdrag.theories.real.sympy.expand(e: ExprRef) → ExprRef

Expand a z3 expression. >>> x = smt.Real(“x”) >>> expand((x + 1)**2) x**2 + 2*x + 1