Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
node_modules		node_modules
.gitignore		.gitignore
README.md		README.md
action.yml		action.yml
index.js		index.js
package-lock.json		package-lock.json
package.json		package.json

Repository files navigation

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.

About

Install the Z3 binary in Github Actions

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages