python Z3 API的性能

Question

使用Z3的python API而不是通過SMT-Lib文件直接與C實現交互的性能有任何區別嗎？

謝謝！

Answer 1

是的，與C/C++ API相比，使用python API構建和遍歷術語具有可測量的開銷。