使用Z3 C＃API时出现BadImageFormatException

Question

当我使用Z3 C＃API时遇到异常，说“BadImageFormatException未处理”。实际上我添加了“Microsoft.Z3.dll”的引用，我使用.NET framework 4.0。详细信息是

  

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

那么问题是什么？

Answer 1

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

它可能与您在项目属性中选择的平台目标有关：x86，x64或AnyCPU。根据需要引用32位或64位版本的Microsoft.Z3。

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