PythonZ3API的性能

例如，使用Z3的python API而不是通过SMT Lib文件直接与C实现交互在性能上有什么区别吗

---

谢谢

是的，与C/C++API相比，使用python API构建和遍历术语的开销是可以测量的

首先感谢您的及时回复！我通常会在构建公式所需的时间和求解时间（求解已经添加的公式所花费的时间）之间进行区分。从您的回答来看，我还不清楚开销是在构建阶段还是在解决阶段。具体地说，一旦建立了一个公式并将其添加到解算器中，性能是否仍然存在差异？