【发布时间】：2014-02-07 13:22:23
【问题描述】：
使用Z3的python API而不是通过SMT-Lib文件直接与C实现交互，在性能上有什么区别吗？
谢谢！
【问题讨论】：
标签： python performance z3
【发布时间】：2014-02-07 13:22:23
【问题描述】：
是的，与 C/C++ API 相比，使用 python API 构建和遍历术语的开销是可衡量的。
【讨论】：
-
首先感谢您的及时答复！我通常会区分构建公式所需的时间和求解时间（求解已添加公式所花费的时间）。从您的回答来看，我还不清楚开销是在构建还是在解决阶段。具体来说，一旦建立公式并将其添加到求解器中，性能是否仍然存在差异？