galoisinc/Setup what4-solvers
Download and install what4-solvers binaries.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Activelast commit Jun 25, 2026
- License
- None
Pinned Snippet
uses: galoisinc/what4-solvers@18f68a8e7d410b0f61cdd93f7b74726552e9655d # snapshot-20260622tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| release | Release tag to download (default: latest) | no | latest |
| os | Override OS detection (ubuntu-22.04, ubuntu-24.04, macos-15, windows-2022, redhat-ubi9) | no | "" |
| arch | Override architecture detection (X64, ARM64) | no | "" |
| dest | Destination directory for solver binaries | no | what4-solvers |
Outputs
| name | description |
|---|---|
| solvers-path | Path to the directory containing solver binaries |