Skip to content
You're viewing an older version of this GitHub Action. Do you want to see the latest version instead?
download

GitHub Action

Install Z3

1.2.1

Install Z3

download

Install Z3

Install Z3 to the PATH

Installation

Copy and paste the following snippet into your .yml file.

 
              
- name: Install Z3

              
  uses: pavpanchekha/[email protected]
Learn more about this action in pavpanchekha/setup-z3

Choose a version

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.