Tags

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

0.5.0

a8415de5 · rename AbstractUnificationStrategy -> AbstractUnificator · Feb 20, 2020
```
parser and improvements
```
0.4.1

38604569 · Merge branch 'feature/substitution-bug-fix' into 'develop' · Dec 04, 2019
```
Substitution Standard compliance bug-fix
```
0.4.0

2d929a82 · Merge branch 'feature/kotlin-update' into 'develop' · Dec 03, 2019
```
0.4.0
```
0.3.0

5a25e0b1 · Merge branch 'feature/more-not-testing' into 'develop' · Nov 21, 2019
```
0.3.0
```
0.2.0

429e1e34 · Merge branch 'feature/solve-streams-refactoring' into 'develop' · Nov 14, 2019
```
refactory of solve-streams
```
0.1.0

a22ae07b · fix warnings for ci · Nov 14, 2019
```
very first release
```
dsl-methods-removed

4fb51009 · Removed Term methods that were made for use as DSL · Jun 27, 2019

Prev
1
2
3
4
Next