Running Z3 from VS2010.

Jul 11, 2013 at 9:50 PM
Hi there,

I'm new to Z3 and just started by trying out Program.cs as provided from the site on VS2010.

After adding references to Microsoft.Z3.dll and System.Numerics, the project was successfully built. However, when I ran it, I was given an error:

Unable to load DLL 'libz3.dll': The specified module could not be found. (Exception from HRESULT: 0x8007007E)

The file libz3.dll was included in the same bin folder as is Microsoft.Z3.dll. But I couldn't seem to add a reference to it.

Am I doing something wrong here?

Any help is appreciated.

Jackie
Coordinator
Jul 15, 2013 at 11:03 AM
You're not doing anything wrong - libz3.dll is a native DLL, not a managed one, so it can't be added as a reference. It needs to be in the path when the program is run; I suppose it's most convenient to keep a copy next to the binary that's being created (e.g., in your Debug folder).

In future we might add a flag that does this step automatically, but for now that's not there yet.