kdrag.theories.real.sympy.replace_rational_with_ratval

kdrag.theories.real.sympy.replace_rational_with_ratval(expr)

Replace all Rational numbers in a SymPy expression with z3.RatVal equivalents.

>>> x = smt.Real("x")
>>> replace_rational_with_ratval(sympify(x + smt.RatVal(1,3)))
x + RatVal(1, 3)