dreal3 icon indicating copy to clipboard operation
dreal3 copied to clipboard

Published 20 hours ago • verified publisher icon dreal

support disjunctive mode-invariant (in forall_t)

Open soonhokong opened this issue 9 years ago • 0 comments

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

soonhokong avatar Oct 21 '15 18:10 soonhokong