Tags

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

0.8.0

f35545ce · improve README.md · Apr 19, 2020
```
+ term comparators
```
0.8.0-dev0o+18dcc4a5

f35545ce · improve README.md · Apr 19, 2020
0.8.0-dev0w+61ea95e8

f35545ce · improve README.md · Apr 19, 2020
0.8.0-dev0y+b9079086

f35545ce · improve README.md · Apr 19, 2020
0.7.2

55031eaf · Merge branch 'feature/github-upload' into develop · Apr 15, 2020
```
kotlin 1.3.72 and kt-math 0.1.3
```
0.7.1

e64b28c0 · fix repository · Apr 13, 2020
```
minor improvements for java and js build
```

0.7.0

95e5ae78 · Merge branch 'feature/terms' into 'develop' · Mar 29, 2020

bug fixes and (breaking) improvements to api

+ three values for Truth
+ Collection interface
+ improve TermParser api
+ ClauseDatabaseParser -> ClausesParser
+ MutableSolver interface

0.6.0

1c4df88c · update to gradle 6.2.2 · Mar 04, 2020

actual nodejs support + dependency on kotlin 1.3.70

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
```