kdrag.theories.real.sympy.integrate

kdrag.theories.real.sympy.integrate(e, *args)

Integrate a z3 expression. >>> x = smt.Real(“x”) >>> integrate(x**2, x) x**3*1/3