[SMT-LIB] consider inclusion of exponentiation in FixedSizeBitVectors

[Yannick Moy]

-- Clark Barrett (2017-04-05)
> This seems like a reasonable suggestion.  If we add it, would any of you be willing/able to provide a set of benchmarks using the new operator?


I will certainly be willing to send you VCs generated from SPARK that use the new operator, once we've modified our generation to use it.
Best regards
--
Yannick Moy, Senior Software Engineer, AdaCore