dreal3 icon indicating copy to clipboard operation
dreal3 copied to clipboard

Published 20 hours ago • verified publisher icon dreal

implicitly assume QF_NRA_ODE if no logic is set

Open soonhokong opened this issue 8 years ago • 0 comments

Comment from https://github.com/dreal/dreal3/issues/266#issuecomment-228840893

By the way, in cvc4, if set-logic is not called, then some kind of default logic is used and a warning message is issued. Seems to be a reasonable design.

soonhokong avatar Jun 27 '16 19:06 soonhokong