Z3：表达数组等价

Question

我将记忆表达为Z3Arrays。我想表达两个数组是相同的，即它们的内容相同。

我怎样才能在Z3中做同样的事情？

Answer 1

标准平等应该没问题。另请参阅我们在示例程序中显示的内容，例如（.NET或arrays section in the Z3 Guide。