Support for function invariants?

[danbryce]

The ode_solver only supports invariants of the form x >= c. I'd like to extend the format to handle invariants of the form f(x) >= c. If I understand correctly, this should be straight-forward. Is there any reason not to do this in dreal2?

[soonhokong]

Is there any reason not to do this in dreal2?

No, there is no specific reason for not doing it.