Performance of the python Z3 API

StackOverflow https://stackoverflow.com/questions/21628893

  •  08-10-2022
  •  | 
  •  

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!

Was it helpful?

Solution

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

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top