support disjunctive mode-invariant (in forall_t)

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4

GNU General Public License v3.0

48 stars 36 forks source link

Open soonhokong opened 9 years ago

soonhokong commented 9 years ago

Note: we first need a data structure to represent a logic formula whose leaves are nonlinear_constraints.