Yes, there is measurable overhead of using the python API to build and traverse terms compared to the C/C++ APIs.
Performance of the python Z3 API
-
08-10-2022 - |
题
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?
Thanks!
解决方案
不隶属于 StackOverflow