Tags

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

v0.2.1

d1ee56ce · Z3Wrapper: change of SMT variable naming to avoid problems with external solver · Nov 04, 2025
```
Version used for experiments in the journal version of the paper.
```
v0.2

5f1dd5f6 · run-ext-solver script change due to the different format of cvc5 archive · Oct 16, 2025
```
Version used for experiments with the upcoming journal paper.
```
v0.1

82dd630c · Configuration description · Sep 05, 2024
v0.0.2

bcc1f86b · doc · Feb 20, 2024
```
release 0.0.2
```
v0.0.1

6d7a58b3 · Update example.md · May 17, 2022
```
release 0.0.1
```