0.11.1

CHANGELOG

0ee4bb2 Merge branch 'feature/solve-streams-side-effects-alignment' into 'develop'
1f92979 Merge branch 'feature/java-interop' into 'develop'
a525362 Merge branch 'feature/thread-safety' into 'develop'
15f4d79 add jsnames in overloads for SolveFactory
020ccb2 make SimpleLRUCache thread safe
156d634 some overloads in Solver and SolverFactory.kt
9211e31 remove kotlin-reflect dependency from :core
d781ca0 add test for cached unificator thread safety
5dcdef4 Merge branch 'feature/thread-safety' into 'develop'
881f24e make LRUCache thread-safe
254fbda make variables numbering increase on a per simple name basis
b3b6a49 Correctly implemented management of SideEffects in Conjunction.kt for solve-streams; removed partial reification of sideEffects in StateEnd.kt; added utility method to avoid sideEffects duplication... streams solver ignored test still not passing... more debugging needed (it seems findall is not giving back the found substitutions)