gpt4 book ai didi

c++ - 为什么 Z3 BitVec 对象没有运行时大小信息?

转载 作者:行者123 更新时间:2023-11-28 04:12:04 25 4
gpt4 key购买 nike

<分区>

我正在处理不同大小的 Z3 bitvecs,我正在研究一种减轻工作量的方法。我将在创建 z3 表达式之前从一个对象获取信息,因此这实际上不是一个重要问题,但我想知道为什么 z3 bitvecs 不携带运行时大小信息。

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