It looks like this is how you’d do it in SymPy:
julia> using SymPy
julia> @syms x
(x,)
julia> g = LessThan(2x + 3, x + 7)
2⋅x + 3 ≤ x + 7
julia> solve(g, x)
x ≤ 4 ∧ -∞ < x
7 Likes
It looks like this is how you’d do it in SymPy:
julia> using SymPy
julia> @syms x
(x,)
julia> g = LessThan(2x + 3, x + 7)
2⋅x + 3 ≤ x + 7
julia> solve(g, x)
x ≤ 4 ∧ -∞ < x