使用 Z3 C# API 时出现 BadImageFormatException答案

【问题标题】：BadImageFormatException when using Z3 C# API使用 Z3 C# API 时出现 BadImageFormatException
【发布时间】：2012-07-26 09:26:29
【问题描述】：

我在使用 Z3 C# API 时遇到一个异常，显示“BadImageFormatException unhandled”。事实上，我已经添加了“Microsoft.Z3.dll”的引用并且我使用.NET framework 4.0。详细信息是

无法加载文件或程序集 'Microsoft.Z3, Version=4.0.0.0, Culture=neutral, PublicKeyToken=9c8d792caae602a2' 或其其中之一依赖关系。试图加载一个不正确的程序格式。

那么问题出在哪里？

【问题讨论】：

标签： c# z3

【解决方案1】：

查看此问题的答案： An error appears when running Z3 in C#

这可能与您在项目属性中选择的平台目标有关：x86、x64 或 AnyCPU。酌情引用 32 位或 64 位版本的 Microsoft.Z3。

以上链接还有很多其他建议。

【讨论】：