在Z3中,它支持String和Sequence.但Z3py是否也支持它们,或者我们必须使用Python中的字符串或列表？从最新版本开始,似乎新版本确实支持String和Sequence的理论,但我不知道如何使用它.有人会给我一个关于序列的例子吗？
sequence z3py
sequence ×1
z3py ×1