Z3に2のパワーn、すなわち2^nを書くには？

Question

私はこのリンクを使用して結果をコンパイルして表示しています（http://rise4fun.com/Z3）

私はZ3に2^n say 2^100と書いています。

書く方法を教えてください。

Answer 1

このように：(^ 2 n)、exampleを参照してください。

Z3は、しばしば非線形演算をあきらめます（この例の場合のように）。参照：How does Z3 handle non-linear integer arithmetic?およびZ3 support for nonlinear arithmetic。