Skip to content

The moving cat puzzle#173

Merged
ahelwer merged 1 commit intotlaplus:masterfrom
florianschanda:master
Jun 10, 2025
Merged

The moving cat puzzle#173
ahelwer merged 1 commit intotlaplus:masterfrom
florianschanda:master

Conversation

@florianschanda
Copy link
Copy Markdown
Contributor

You have N boxes and a cat moves from one to another. Each day you can check a single box. Can you find the cat?

Copy link
Copy Markdown
Collaborator

@muenchnerkindl muenchnerkindl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for your contribution. I left a few comments, but I haven't actually run TLC on your spec.

Comment thread specifications/Moving_Cat_Puzzle/Cat.tla Outdated
Comment thread specifications/Moving_Cat_Puzzle/Cat.tla Outdated
Comment thread specifications/Moving_Cat_Puzzle/Cat.tla Outdated
Comment thread specifications/Moving_Cat_Puzzle/Cat.tla Outdated
Comment thread specifications/Moving_Cat_Puzzle/Cat.tla Outdated
Comment thread specifications/Moving_Cat_Puzzle/Cat.tla Outdated
Comment thread specifications/Moving_Cat_Puzzle/Cat.tla Outdated
Comment thread specifications/Moving_Cat_Puzzle/Cat.tla
You have N boxes and a cat moves from one to another. Each day
you can check a single box. Can you find the cat?

Signed-off-by: Florian Schanda <fschanda@nvidia.com>
Copy link
Copy Markdown
Collaborator

@muenchnerkindl muenchnerkindl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for the contribution, everything looks good to me.

@ahelwer ahelwer merged commit c993823 into tlaplus:master Jun 10, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

4 participants