https://github.com/cda-tum/setup-z3
Set up a specific version of the Z3 theorem prover
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (10.3%) to scientific vocabulary
Keywords from Contributors
Repository
Set up a specific version of the Z3 theorem prover
Basic Info
Statistics
- Stars: 13
- Watchers: 1
- Forks: 3
- Open Issues: 0
- Releases: 27
Metadata Files
README.md
Setup Z3
A GitHub action to set up a specific version of the Z3 theorem prover in a GitHub Actions workflow.
Usage
To download the latest version of Z3 for the host platform and add it to the PATH environment variable for all subsequent steps in a job, add the following step to your workflow:
yaml
- name: Setup Z3
id: z3
uses: cda-tum/setup-z3@v1
This action creates a z3-root output variable that contains the path to the root directory of the Z3 installation and exports the Z3_ROOT environment variable for subsequent steps in a job. The output variable can be accessed as ${{ steps.z3.outputs.z3-root }}.
Specifying a version
In many cases, it is convenient to use a specific version of Z3. This can be done by specifying the version input:
yaml
- name: Setup Z3
id: z3
uses: cda-tum/setup-z3@v1
with:
version: 4.11.2
Note In order to use a specific version of Z3, the action will download the corresponding release from GitHub. This means that the version must be a valid release tag of the Z3 repository.
Specifying a platform and architecture
If you want to explicitly specify the platform and architecture for which Z3 should be downloaded (e.g., for cross-compiling to Apple Silicon), you can use the platform and architecture inputs:
yaml
- name: Setup Z3
id: z3
uses: cda-tum/setup-z3@v1
with:
platform: macOS
architecture: arm64
Note Valid and tested combinations for the
platformandarchitectureinputs are:
platform: linux,architecture: x64platform: macOS,architecture: x64platform: macOS,architecture: arm64platform: windows,architecture: x64
Using Z3 as a library
By default, the action only adds Z3 into PATH, meaning it cannot be used as a library through its C/C++ bindings. However, if you set add_to_library_path to true, the action also populates other environment variables (depending on the chosen platform) which ensure that you can build other libraries that link against Z3.
yaml
- name: Setup Z3
id: z3
uses: cda-tum/setup-z3@v1
with:
add_to_library_path: true
Owner
- Name: Chair for Design Automation, TU Munich
- Login: cda-tum
- Kind: organization
- Location: Germany
- Website: https://www.cda.cit.tum.de
- Repositories: 22
- Profile: https://github.com/cda-tum
The CDA provides expertise for all main steps in the design and realization of integrated circuits, embedded systems, as well as cyber-physical systems.
GitHub Events
Total
- Release event: 5
- Watch event: 2
- Delete event: 57
- Issue comment event: 7
- Push event: 72
- Pull request review event: 39
- Pull request event: 110
- Create event: 61
Last Year
- Release event: 5
- Watch event: 2
- Delete event: 57
- Issue comment event: 7
- Push event: 72
- Pull request review event: 39
- Pull request event: 110
- Create event: 61
Committers
Last synced: about 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| dependabot[bot] | 4****] | 319 |
| burgholzer | b****r@m****m | 57 |
| pre-commit-ci[bot] | 6****] | 23 |
| Wen Kokke | w****e | 1 |
| Samuel Pastva | d****s@g****m | 1 |
| Guido Martínez | m****o@g****m | 1 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 11 months ago
All Time
- Total issues: 2
- Total pull requests: 420
- Average time to close issues: about 12 hours
- Average time to close pull requests: 1 day
- Total issue authors: 2
- Total pull request authors: 7
- Average comments per issue: 2.0
- Average comments per pull request: 0.52
- Merged pull requests: 366
- Bot issues: 1
- Bot pull requests: 405
Past Year
- Issues: 1
- Pull requests: 132
- Average time to close issues: about 2 hours
- Average time to close pull requests: 2 days
- Issue authors: 1
- Pull request authors: 4
- Average comments per issue: 0.0
- Average comments per pull request: 0.08
- Merged pull requests: 111
- Bot issues: 1
- Bot pull requests: 128
Top Authors
Issue Authors
- wenkokke (1)
- dependabot[bot] (1)
Pull Request Authors
- dependabot[bot] (379)
- pre-commit-ci[bot] (26)
- burgholzer (9)
- mtzguido (2)
- giltho (2)
- daemontus (1)
- wenkokke (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- 484 dependencies
- @types/node ^18.7.16 development
- @typescript-eslint/eslint-plugin ^5.36.2 development
- @typescript-eslint/parser ^5.36.2 development
- @vercel/ncc ^0.34.0 development
- eslint ^8.23.1 development
- eslint-plugin-github ^4.3.7 development
- eslint-plugin-import ^2.26.0 development
- eslint-plugin-jest ^27.0.4 development
- jest ^29.0.3 development
- js-yaml ^4.1.0 development
- ts-jest ^29.0.0 development
- typescript ^4.8.3 development
- @actions/core ^1.9.1
- @actions/tool-cache ^2.0.1
- @octokit/action ^4.0.8
- @octokit/core ^4.0.5
- @octokit/openapi-types ^13.10.0
- node-fetch-retry ^2.0.1
- actions/checkout v3 composite
- actions/setup-node v3.5.1 composite
- actions/upload-artifact v3 composite
- actions/checkout v3 composite
- github/codeql-action/analyze v2 composite
- github/codeql-action/autobuild v2 composite
- github/codeql-action/init v2 composite
- actions/checkout v3 composite
- ./ * composite
- actions/checkout v3 composite
- dist/index.js node16 javascript
- release-drafter/release-drafter v5 composite