Posted December 16, 2024 by Playcebo
The game should now be (completely?) accurate to the Weak Tree function, using "inf-embedding" to determine whether one tree contains another.
Note: I'm not 100% sure I correctly implemented inf-embedding, or that the stumps -- not included in Weak Tree -- are irrelevant under the new algorithm.