Tags

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

v4.7.0

d65fd659 · despace · Feb 04, 2021
```
v4.7.0
```
v5.0.0

3a28dc47 · divide tuple by its gcd · Feb 10, 2021
```
v5.0.0
```
v5.0.1

684cda57 · sort the (in)equalities by number of non-zero coefficients · Feb 10, 2021
```
v5.0.1
```
v5.0.2

a3c7b2eb · proper help screens · Feb 12, 2021
```
v5.0.2
```
v5.1.0

a1918589 · added Return class · Feb 19, 2021
```
v5.1.0
```
v5.2.0

a1cd8103 · handle rational functions · Feb 22, 2021
```
v5.2.0
```
v5.2.1

e4876b1f · fixed missing version if cfg.help · Feb 22, 2021
```
v5.2.1
```
v5.2.2

3a85d5b7 · v5.2.2 · Feb 24, 2021
```
v5.2.2
```
v5.3.0

ed34987c · v5.3.0 · Feb 24, 2021
```
v5.3.0
```
v5.3.1

d3e804a3 · merged sub_dnf · Feb 26, 2021
```
v5.3.1
```
v5.3.2

2160b9f4 · v5.3.2 · Feb 27, 2021
```
v5.3.2
```
v5.3.3

594cf75c · removed gauss.py · Mar 02, 2021
```
v5.3.3
```
v4.6.2

26fbdf81 · support options in SMTCUT_OPTIONS · Apr 18, 2020
```
version 4.6.2
```