diff options
| author | Jack Koenig | 2021-09-17 12:18:11 -0700 |
|---|---|---|
| committer | GitHub | 2021-09-17 12:18:11 -0700 |
| commit | a692b6d230189191defff45c85bc15ce705c471c (patch) | |
| tree | b082606b6284b99abdabadf68d1e65fa7a551e27 /docs/src | |
| parent | 237a873ee1a85a20a4ab139fdaf7b48ea9bfd32f (diff) | |
Just install Z3 from apt-get in CI (#2131)
Also install Espresso from pre-built binary
Diffstat (limited to 'docs/src')
0 files changed, 0 insertions, 0 deletions