z3中無符號長整數的算術

Question

Z3求解器中無符號長整數處理算術（主要是加法和比較）的首選方法是什麼？

Answer 1

取決於你想要的。 如果你想要比特精確，比使用比特向量。否則，你可以使用整數或甚至實數。