Reputation: 11
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
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