32_64

Running locally on your own PC, you are most likely to be what a 64 bit version even if you run the 32 bit version in visual studio.

It may need a bit of trial and error

It is probable that the project settings need to be different running locally to the ones deployed to the servers, whether they are 32 or 64 bit versions deployed, so you need to change between them for debugging and deployment.

The change to make:

For the deployed verions

• For the project BioCheckAnalyzer_Standart
• Right-click "Manage Nuget settings"
• Go to Installed
• REMOVE Microsoft.Z3 leaving Microsoft.Z3.x86 only (versions 4.11.2)
• Then build this in debug
• Then build this in release

For the locally run verions

• For the project BioCheckAnalyzer_Standart
• Right-click "Manage Nuget settings"
• Go to Installed
• ADD Microsoft.Z3 leaving Microsoft.Z3.x86 ALSO there (versions 4.11.2)
• Then build this in debug
• Then build this in release

---

Check success

Test the z3.dll is working succesfully by running ToyModelUnstable/Proof Analysis through the web app. It will fail to prove stability, so then choose Further testing - a z3 popup will alert you if there are errors. If it is succesfull there will be a short list of oscillations.

---