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

Question

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

亚历山大。

Answer 1

我们停止在Z3 2.14中加入z3_dbg.dll。主要动机是减少分配规模。 z3_dbg.dll非常大，大多数用户都没有使用它。话虽这么说，我们意识到这个DLL在Z3 API上开发应用程序和/或编写Z3理论插件时非常有用。我们将它包含在Z3分发包中，或者创建一个单独的调试分发包。