kdrag.theories.real.sympy.sympify

kdrag.theories.real.sympy.sympify(e: ExprRef, locals={}) → Expr

Convert a z3 expression into a sympy expression. >>> x = smt.Real(“x”) >>> sympify(x + 1) x + 1 >>> sympify(smt.RatVal(1,3)) Fraction(1, 3)