Geeks
cda-tum
/
setup-z3
Set up a specific version of the Z3 theorem prover
Primary Language
TypeScript
MIT License
MIT
setup-z3 GitHub
Markdown
Readme
2
Issues
12
Stargazers
2
Watchers
Issues
Closed issue
Action `cda-tum/setup-z3@v1.0.8` is broken on `ubuntu-latest`
#100 opened
2 years ago
by
wenkokke
4
Closed issue
The `set-output` command is deprecated and will be disabled soon.
#48 opened
2 years ago
by
daemontus
4