junkil-park / setup-z3 Public

forked from pavpanchekha/setup-z3

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Install the Z3 binary in Github Actions

0 stars 5 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 29 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

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

Report repository

Releases

Packages

No packages published

Languages

JavaScript 100.0%