Z3py是否支持“String”和“Sequence”

Question

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

Answer 1

是的，Z3支持字符串和序列，但在上一次公开发布中只有基本的支持。您必须从源代码编译最新的master以获取所有功能（包括Python API）。