nunchaku icon indicating copy to clipboard operation
nunchaku copied to clipboard

Published 20 hours ago • verified publisher icon nunchaku-inria

transformation for introducing destructors

Open c-cube opened this issue 9 years ago • 0 comments

transform exists x. y = s x & p[x] into is-s y && p[select-s-0 y]

note: would apply to backends CVC4 and smbc, at least?

c-cube avatar Dec 08 '15 13:12 c-cube