c# - 在开发计算机上成功运行。但是当我在其他计算机上运行打包的 winform 应用程序时无法加载 z3.dll

Question

我使用 C# 的 Z3 api 开发了一个 win-form 应用程序。该应用程序可以在我以前开发的计算机上成功运行。但是在我用VISUAL STUDIO 2010中的“SETUP AND DEPLOYMENT”功能构建了一个安装项目后，打包的应用程序无法在开发计算机以外的计算机上成功运行。错误信息：运行时加载 z3.dll 失败。我该怎么做才能解决这个问题？</p>

Answer 1

z3.dll是非托管 dll，由Microsoft.Z3.dll. 遗憾的是，您无法通过ReferenceVisual Studio 中的对话框引用它。

我猜在存在z3.dll的安装文件夹中丢失了Microsoft.Z3.dll。

我建议您在新机器上运行应用程序（包括z3.dll并Microsoft.Z3.dll在同一文件夹中），并在它们运行良好时尝试将所有必要的位打包到安装包中。