This repository was archived by the owner on May 11, 2021. It is now read-only.

This repository was archived by the owner on May 11, 2021. It is now read-only.

Support for function invariants? #87

Open

opened

on Mar 11, 2015

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?

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests