0.8.0-dev0o+18dcc4a5

CHANGELOG

18dcc4a js name for equalsUsingVarCompleteNames
70a4098 type testing properties in Solution
54ddcd1 consts in Repos.kt
da786d7 TermImpl.{hashCode -> hashCodeCache} to avoid name clashes
4e09561 cache hashcodes in terms
c8c5d3a add Term.equals(Term, Boolean)
149769c remove deprecated method Term.isBound
32abec0 avoid next state caching for states in :solve-classic
56c2ce7 reset start time in next state computation for StateEnd
1037059 add tests for findall/
0b7e478 add unit tests for type testing primitives
7076e9a change time thresholds for js tests in :solve-streams
12588fd Merge branch 'develop' into feature/resolution
03093b2 use Google mirrors for maven central
51c22da fix mini bug in testing
46afeaf use common interface for SolverTest
59102b1 use solverWithDefaultBuiltins in SolverTestPrototype
14338c9 extract utility methods from SolverTestPrototype
388ab86 + findall/3 implementation
c6e9602 missing override in DummyInstances.kt
045a760 optimize imports for :solve-*
5785301 it.unibo.tuprolog.solve.library.stdlib -> it.unibo.tuprolog.solve.stdlib
4efe29a sub solver in primitives requests
0f3d31d use kotlin lists for ExecutionContext.prologStackTrace