Tags · SMT-LIB-benchmarks / AUFDTLIA · GitLab

Tags give the ability to mark specific points in history as being important

r2023-05-08

f86d7cb5 · Remove set-option command, fix submitter's name. · Jun 01, 2022
```
2023-05-08 Release
```
Download source code

zip tar.gz tar.bz2 tar
r2022-05-20

f86d7cb5 · Remove set-option command, fix submitter's name. · Jun 01, 2022

Download source code

zip tar.gz tar.bz2 tar
r2021-05-26

50e77bd4 · Squashed commit of the following: · May 26, 2021
```
2021-05-26 Release
```
Download source code

zip tar.gz tar.bz2 tar
r2020-05-24

d72da10a · Fixing README.md · Jul 26, 2019
```
2020-05-24 Release
```
Download source code

zip tar.gz tar.bz2 tar
r2019-05-09

219a7908 · Squashed commit of the following: · May 02, 2019
```
2019-05-09 Release
```
Download source code

zip tar.gz tar.bz2 tar
r2018-05-27

d1f30b19 · Fixing README.md · Jun 15, 2017
```
2018-05-27 Release
```
Download source code

zip tar.gz tar.bz2 tar
r2017-06-17

d1f30b19 · Fixing README.md · Jun 15, 2017
```
2017-06-17 Release
```
Download source code

zip tar.gz tar.bz2 tar