11-23-2020, 12:41 PM
Hi Jay,
Good news! We think we have successfully fixed this problem.
The issue seems to be caused by different Java versions, probably between Java 8 and Java11+, calculating the hash code differently.
We will push out a new version of Ludii later today which should fix this.
Cheers,
Matthew
Good news! We think we have successfully fixed this problem.
The issue seems to be caused by different Java versions, probably between Java 8 and Java11+, calculating the hash code differently.
We will push out a new version of Ludii later today which should fix this.
Cheers,
Matthew