Skip to content
This repository has been archived by the owner on May 11, 2021. It is now read-only.

Support for function invariants? #87

Open
danbryce opened this issue Mar 11, 2015 · 1 comment
Open

Support for function invariants? #87

danbryce opened this issue Mar 11, 2015 · 1 comment

Comments

@danbryce
Copy link
Member

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
Copy link
Member

Is there any reason not to do this in dreal2?

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

danbryce pushed a commit to danbryce/dreal that referenced this issue Jul 9, 2015
@soonhokong
feat(tests/nra_ode): add tests for '--short_sat' option
3e80894 
close dreal#87
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@soonhokong @danbryce