标签: z3
我正在使用此链接进行编译并查看结果(http://rise4fun.com/Z3)
我只想在Z3中写2 ^ n说2 ^ 100。
请帮我怎么写?
答案 0 :(得分:1)
如上所述:(^ 2 n),请参阅example。
(^ 2 n)
请注意,Z3通常会放弃非线性算法(如示例中的情况)。另请参阅:How does Z3 handle non-linear integer arithmetic?和Z3 support for nonlinear arithmetic。