Performance of the python Z3 API

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

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

도움이 되었습니까?

해결책

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

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top