keyproject/setup-smt
Download and provides the z3 and cvc5 SMT solvers
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| z3Version | Version of Z3 to install | yes | 4.13.3 |
| cvc5Version | Version of CVC5 to install | yes | 1.2.1 |
Outputs
no outputs