actions-marketplace-validations/Setup Z3
Set up a specific version of the Z3 theorem prover
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| version | The version of Z3 to install. Defaults to latest. | no | latest |
| platform | The platform to install Z3 for (either linux, macOS, or windows). Defaults to host. | no | host |
| architecture | The architecture to install Z3 for (either x64 or arm64). Defaults to host. | no | host |
| add_to_library_path | Add Z3 to the library path variables, such that it can be used as a static/dynamic library. Defaults to false. | no | false |
| token | The token that the action will use to query the GitHub API. Defaults to the repository's GitHub token. | no | ${{ github.token }} |
Outputs
| name | description |
|---|---|
| z3-root | The root directory of the Z3 installation |