user1435528
user1435528

Reputation: 11

run successfully on development computer. But fail to load z3.dll when I run the packaged winform application on other computer

I have developed an win-form application using Z3 api for C#. The application can run successfully on the computer which I used to develop. But after I build a setup project with the "SETUP AND DEPLOYMENT" function in VISUAL STUDIO 2010. The packaged application cannot run successfully on computers other than the development computer. Error message: failed to load z3.dll when running. What should I do to solve the problem?

Upvotes: 1

Views: 219

Answers (1)

pad
pad

Reputation: 41290

z3.dll is unmanaged dll which is used by Microsoft.Z3.dll. Sadly, you cannot reference it by Reference dialog in Visual Studio.

I guess z3.dll is missing in the installation folder where Microsoft.Z3.dll is present.

I suggest that you run the application (including z3.dll and Microsoft.Z3.dll in the same folder) on a new machine, and try to pack all necessary bits to an installation package when they run fine.

Upvotes: 3

Related Questions