Bugfix release

Fix a concurrent modification bug.

Snapshot release

Fix a major problem that had caused false evaluation results.

Snapshot release

Switched to the latest release of Kotlin

Snapshot release

Rolled back a broken optimisation.

Minor fixes.

Minor bugfix release

Minor bugfix and optimisation in rule matcher.

Snapshot release

Reimplement unification algorithm in Kotlin.

Bugfix release

Fix an obnoxious bug in the matcher.

Fix an infinite loop in toString() method of Logical.

Minor speed optimizations

Optimized TermTrie structure.
Reusing the results of previous lookup of auxiliary constraints.

First snapshot release

Publishing the artefacts to be used in downstream development.