1
Есть ли разница в производительности между использованием API-интерфейса python для Z3 вместо прямого взаимодействия с реализацией C с помощью файлов SMT-Lib?Производительность python Z3 API
Спасибо!
A
ответ
1
Да, есть измеримые накладные расходы на использование API-интерфейса python для построения и прохождения терминов по сравнению с API C/C++.
Прежде всего, за быстрый ответ! Обычно я делаю разницу между временем, необходимым для построения формул и времени решения (время, затрачиваемое на решение уже добавленной формулы). От вас ответ мне пока не ясно, если накладные расходы скорее в здании или на этапе решения. Конкретно говоря, как только формула будет построена и добавлена к решателю, есть ли еще различия в производительности? – user2800940