对z3中无符号长整数的算术

Question

在Z3求解器中对无符号长整数处理算术（主要是加法和比较）的首选方法是什么？

Answer 1

取决于你想要的。 如果你想要比特精确，比使用位向量。否则你可以使用整数甚至实数。