macOS Catalina error: z3 cannot be opened because the developer cannot be verified

[pietrobraione]

Experienced with Z3 release 4.8.6. Catalina is stricter on checking that the installed apps are signed with an Apple developer key. You can work around the problem by selecting the z3 binary in the Finder, right-clicking on it, and selecting "Open" from the contextual menu: In this case you will be asked if you want to add an exception to the security settings for the app. But it would be better if Z3 worked out-of-the-box.

[ahelwer]

Is this for z3.exe or when using one of the Z3 library assemblies from another app?

[pietrobraione]

I experienced the issue with the executable. I cannot report about the library assemblies.

[texastony]

A work-around: Open the Z3 binary via Finder with right click Open. A prompt will appear, suggesting you forbid, but allowing you to permit Z3 to run.

For me:

cd Binaries/z3;
open .; # Finder window appears, right click on bin/z3, select Open from drop down menu