Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
I meet an exception says”BadImageFormatException unhandled” when I use Z3 C# API. In fact I have added the reference of “Microsoft.Z3.dll” and I use .NET framework 4.0. The detailed the information is
Could not load file or assembly ‘Microsoft.Z3, Version=4.0.0.0,
Culture=neutral, PublicKeyToken=9c8d792caae602a2’ or one of its
dependencies. An attempt was made to load a program with an incorrect
format.
So what’s the problem?
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.