c# - 使用 Z3 C# API 时出现 BadImageFormatException

Question

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

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

所以有什么问题？

Answer 1

See the answers to this question: An error appears when running Z3 in C#

It's probably related to the Platform target you've selected in your project properties: x86, x64 or AnyCPU. Reference the 32-bit or 64-bit version of Microsoft.Z3 as appropriate.

Lots of other suggestions at the above link too.