dreal3
dreal3 copied to clipboard
Add/check constant-folding