通过nuget使用DllNotFoundException时libz3.dll的DllNotFoundException

Question

我在我的Z3 Core2.1项目中通过NuGet包使用.NET，最近我尝试从4.5.0.1版本升级到4.8.1。然后，我返回到4.5.0.1，并在上下文创建时得到了这个异常：

using(var ctx = new Microsoft.Z3.Context())
{

}

System.DllNotFoundException:无法加载DLL 'libz3.dll‘或其依赖项之一:找不到指定的模块。(HRESULT例外: 0x8007007E)

我检查了以下内容：

• 我的应用程序是为x64编译的，我使用z3x64win软件包，
• libz3.dll和Microsoft.Z3.dll都存储在%userprofile%\.nuget\packages\z3x64win\4.5.0.1\lib中，
• 尝试将此路径添加到这里描述的path环境变量中，但没有帮助，
• 尝试手动将libz3.dll和Microsoft.Z3.dll保存到项目的bin目录，但问题仍然存在。

还有其他必要的步骤来引用Z3吗？

Answer 1

在过去的日子里，我记得在Z3中遇到了这些问题，并且经常通过尝试以下方法来工作：

• 完全删除并重置Microsoft.Z3.dll引用。在再次添加引用之前，请确保csproj文件与引用保持干净。
• 重新下载或获取Z3 dll，这样您就可以确定它们是否匹配，并且VS或您的环境不使用缓存。
• 您确定libz3.dll和z3.exe都在您的路径上吗？

Answer 2

现在有一个官方的.NET核心Z3 NuGet包，它应该解决所有的问题：https://www.nuget.org/packages/Microsoft.Z3.x64/