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!
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