Install SMT solvers for CI testing #3001
Currently, no SMT-solver is available during the CI build and test.
This MR brings a small bash scripts, which download and "install" z3 and CVC5. Both SMT-solvers should be available via $PATH. Caching is activated.
The script uses the gh, the cli application for/from Github, to download the latest releases.
Artifacts
- 02. Feb 2023 15:58 (1371.77 kB large)
- 01. Feb 2023 21:41 (1372.34 kB large)
- 31. Jan 2023 17:51 (1372.10 kB large)
- 31. Jan 2023 15:49 (324.47 kB large)
- 30. Jan 2023 16:05 (100.98 kB large)
- 30. Jan 2023 16:02 (100.99 kB large)
- 30. Jan 2023 15:57 (100.98 kB large)