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

Question

在Z3的最后一个版本，我没有得到z3_dbg.dll。它仍然被释放？

亚历山大。

Answer 1

我们在Z3 2.14中停止了包括z3_dbg.dll。主要动机是减少分配大小。 z3_dbg.dll相当大，并且大多数用户不使用它。这就是说，我们意识到这个DLL在Z3 API之上开发应用程序和/或编写Z3理论插件时非常有用。我们将把它重新包含在Z3分发包中，或者创建一个单独的调试分发包。