setup-z3

This Action sets up Z3 by downloading a release build.

Usage

Just use the pavpanchekha/setup-z3 action. It has three inputs:

version: a version number for Z3; required.
architecture: x64 by default, can be set to x86 for the Windows build.
distribution: glibc-2.31 by default for use on ubuntu; find other options here.

Name		Name	Last commit message	Last commit date
Latest commit History 52 Commits
.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