CODEWITHSUNDEEP
pythonperformancez3
user2800940
user2800940

Reputation: 55

Performance of the python Z3 API

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!

Upvotes: 1

Views: 287

Answers (1)

Nikolaj Bjorner
Nikolaj Bjorner

Reputation: 8359

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

Upvotes: 1

Related Questions