c# - 開発用コンピューターで正常に実行されます。しかし、パッケージ化された winform アプリケーションを他のコンピューターで実行すると、z3.dll の読み込みに失敗します。

Question

C# 用の Z3 api を使用して win-form アプリケーションを開発しました。アプリケーションは、私が開発したコンピューターで正常に実行できます。しかし、VISUAL STUDIO 2010 の "SETUP AND DEPLOYMENT" 機能を使用してセットアップ プロジェクトをビルドした後、パッケージ化されたアプリケーションは、開発用コンピューター以外のコンピューターでは正常に実行できません。エラー メッセージ: 実行中に z3.dll を読み込めませんでした。問題を解決するにはどうすればよいですか?</p>

Answer 1

z3.dllによって使用されるアンマネージ dllMicrosoft.Z3.dllです。Reference残念ながら、 Visual Studio のダイアログで参照することはできません。

z3.dllが存在するインストールフォルダーに欠落していると思いますMicrosoft.Z3.dll。

新しいマシンでアプリケーション (z3.dllおよびMicrosoft.Z3.dll同じフォルダ内) を実行し、正常に実行されたら、必要なすべてのビットをインストール パッケージにパックすることをお勧めします。