提问人：Kun 提问时间：3/23/2017 最后编辑：Kun 更新时间：9/17/2017 访问量：397
Z3py 是否支持“String”和“Sequence”
Does Z3py support "String" and "Sequence"
问：
在 Z3 中，它支持 String 和 Sequence。但是 Z3py 是否也支持它们，或者我们必须使用 Python 中的字符串或列表？从最新版本来看，新版本似乎确实支持字符串和序列的理论，但我不知道如何使用它。谁能给我一个关于序列的例子？
答：
0赞
Christoph Wintersteiger
9/17/2017
#1
是的，Z3 支持字符串和序列，但在上一个公开版本中只有基本的支持。您必须从源代码编译最新的主节点才能获得所有功能（包括 Python API）。
评论
0赞
Christoph Wintersteiger
12/8/2018
@jonnor只是在 stackoverflow 中搜索 z3 和 string，那么在过去几年中，许多示例都发布在问答中。
评论