gpt4 book ai didi

sequence - Z3py 是否支持 "String"和 "Sequence"

转载 作者:行者123 更新时间:2023-12-03 17:38:17 27 4
gpt4 key购买 nike

在 Z3 中,它支持 String 和 Sequence。但是 Z3py 是否也支持它们,或者我们必须使用 Python 中的字符串或列表?从最新的版本来看,新版本好像确实支持了String和Sequence的理论,但是不知道怎么用。有人能给我一个关于序列的例子吗?

最佳答案

是的,Z3 支持字符串和序列,但在上一个公开版本中只提供基本支持。您必须从源代码编译最新的 master 才能获得所有功能(包括 Python API)。

关于sequence - Z3py 是否支持 "String"和 "Sequence",我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42971452/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com