I finished re-reading Anathem last month. Unfortunately, AFAICT, the tiling problem depicted in the book is fictional. Though I keep wondering if it is possible to make a real puzzle conform to the (somewhat vaguely) specified problem in the book.