z3 - z3_dbg.dll はまだディストリビューションの一部ですか?

Question

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

アレクサンドル。

Answer 1

z3_dbg.dllZ3 2.14 で同梱を停止しました。主な動機は、配布サイズを縮小することでした。z3_dbg.dll は非常に大きく、ほとんどのユーザーには使用されません。そうは言っても、この DLL は、Z3 API 上でアプリケーションを開発したり、Z3 理論プラグインを作成したりするときに役立つことがわかっています。Z3 配布パッケージに戻すか、別のデバッグ配布パッケージを作成します。