Ouroboros snake problems on non–virtually free groups
Ascertain whether there exists a finitely generated group that is not virtually free for which at least one, or all, ouroboros (closed-loop) snake tiling problems are decidable.
References
We are not able to settle the problem for ouroboroi; the following remains open. Is there a finitely generated group which is not virtually free, and for which some / all of the ouroboros problems are decidable?
— Snakes can be fooled into thinking they live in a tree
(2409.14525 - Bartholdi et al., 22 Sep 2024) in Section 2 (Snake problems)