solve provides the solution of inequalities as a list of equations and inequalities. Is there a way to transform this into a simplified union of open-closed intervals?
For example as a solution of abs(5*x-6) >= 3*x+2 I'd like to have (-oo,1/2] U [4,oo).