z3 - z3_dbg.dll 仍然是发行版的一部分吗？

Question

在 Z3 的最后一个版本中，我没有得到 z3_dbg.dll。还发布吗？

亚历山大。

Answer 1

我们停止包含z3_dbg.dll在 Z3 2.14 中。主要动机是减小分布大小。z3_dbg.dll 比较大，大部分用户不使用。话虽如此，我们意识到这个 DLL 在基于 Z3 API 开发应用程序和/或编写 Z3 理论插件时很有用。我们将把它重新包含在 Z3 分发包中，或者创建一个单独的调试分发包。