2
В последнем выпуске Z3 я не получил z3_dbg.dll. Он все еще выпущен?Является ли z3_dbg.dll частью дистрибутива?
Alexandre.
A
ответ
2
Мы остановили включение z3_dbg.dll в Z3 2.14. Основная мотивация заключалась в уменьшении размера распределения. z3_dbg.dll довольно большой, и он не используется большинством пользователей. При этом мы понимаем, что эта DLL полезна при разработке приложений поверх Z3 API и/или написания плагинов Z3. Мы включим его обратно в дистрибутив Z3 или создадим отдельный пакет распространения отладки.