Closed Halbaroth closed 2 weeks ago
We do not check that optimization works with arithmetical expressions in maximize or minimize.
maximize
minimize
(We do it for ite and bitvector expressions).
ite
We do not check that optimization works with arithmetical expressions in
maximizeorminimize.(We do it for
iteand bitvector expressions).