0.10.2-dev0w+39307563

CHANGELOG

3930756 Merge branch 'feature/theory' into 'develop'
3c2312f update tests for member/2, showing that 92 is fixed
bc2fafa optimize AbstractUnificator
7fca6ef fix minor hub in AbstractUnificator.kt
284e9ae add tests for unification where (member([a(X)], [[b(1)]]):-B) \= (member(H, [H|_]):-true) is tested
02bab83 add tests for theories
b2de378 move things in TheoryUtils.kt
5cf72be Merge branch 'feature/arg2p-integration' into feature/theory
18860f0 actually fix #89
f338cd1 improve tests for unification in clause retrieval
0bbafa1 more tests for clause collections
9e6bc9e minor improvements in StateRuleSelection.kt
25b1ba1 fix #89
121aecc improve backtracking
2301547 more ram for :solve-streams
29c4902 improve readme
ab5b680 fix #88
c87608f [wip] rename tests according to class names
a953b75 [wip] add test for corner case in clause indexing
b7ef491 Merge branch 'develop' into feature/arg2p-integration
0da0d51 update to gradle 6.5, and orchid 0.21.0
e52f64b Functor/3 fix
f3e8e0f + const in Info.kt
53d98ff functor/3 and =../2 test
d7439ce Merge branch 'feature/solve-streams-timeouts-alignment' into 'develop'
2f53421 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
7881c6e Merge branch '87-issue-in-feature-solve-streams-timeouts-alignment' into 'feature/solve-streams-timeouts-alignment'
2151300 Restored changes committed in #ab9baeddb3f35114e65ea4a856d14909d8f35727 and reverted during refactoring of SolveTest in commit #46afeaf4a6862d5d2de2da1b2af256c3c22aa312 after one month. Also remove redundant "maxDuration" getter (which name was also misleading) replacing with now equivalent "mediumDuration" in all places.
dd2bd6d Merge branch 'develop' into feature/solve-streams-timeouts-alignment
cada251 mochatimouts to 60s for the whole project
3a14c93 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
6249b0c Modified logic of solve-streams w.r.t. timeouts and re-enabled related tests