This question is motivated by another one I recently asked: Obstacle problem for the heat equation.
It seems to me that
does not work for differential inequalities (or systems of differential inequalities). Indeed, I get an error of the type: "a differential equation was expected in the input".
What command does one use to solve mixed systems of differential equations and differential inequalities?