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