[SMT-LIB] QF_UFBV: on last-minute extension with sign

[Vijay Ganesh]

Hi all,

I agree with Clark's statement that signed operators can be easily 
translated into pre-existing operators. Furthermore, I think that signed 
operators do not provide any new oppurtunity for optimizations. If any 
such optimizations present themselves, then corresponding unsigned 
optimizations exist.

Thanks & Warm Regards,
Vijay Ganesh.