soonhokong
commented
9 years ago Is there any reason not to do this in dreal2?
No, there is no specific reason for not doing it.
Open danbryce opened 9 years ago
soonhokong
commented
9 years ago Is there any reason not to do this in dreal2?
No, there is no specific reason for not doing it.
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?