Performance of the python Z3 API

Question

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!

Answer 1

Yes, there is measurable overhead of using the python API to build and traverse terms compared to the C/C++ APIs.