[英]Performance of the python Z3 API
Is there any difference in performance between using the python API of Z3 instead of directly interacting with the C implementation through SMT-Lib files for instance? 例如,使用Z3的python API而不是通过SMT-Lib文件直接与C实现进行交互在性能上有什么区别吗?
Thanks! 谢谢!
是的,与C / C ++ API相比,使用python API构建和遍历术语存在可观的开销。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.