setup-z3 This Action sets up Z3 by downloading a release build. Usage Just use the pavpanchekha/setup-z3 action. It has two inputs: version: a version number for Z3 architecture: x64 or x86, used for the Windows build.