z3_dbg.dllは依然としてディストリビューションの一部ですか？

Question

Z3の最後のリリースでは、私はz3_dbg.dllを取得しませんでした。まだリリースされていますか？

アレクサンドル。

Answer 1

Z3 2.14にz3_dbg.dllを含めて停止しました。主な動機は、配布サイズを縮小することでした。 z3_dbg.dllは非常に大きく、ほとんどのユーザーは使用しません。つまり、このDLLは、Z3 APIの上にアプリケーションを開発したり、Z3理論のプラグインを書くときに便利です。それをZ3ディストリビューションパッケージに戻したり、別のデバッグディストリビューションパッケージを作成したりします。