Skip to content

57 bottleneck 2 pazz bugs#73

Merged
Numero7 merged 21 commits intomainfrom
57-bottleneck-2-pazz-bugs
Apr 2, 2025
Merged

57 bottleneck 2 pazz bugs#73
Numero7 merged 21 commits intomainfrom
57-bottleneck-2-pazz-bugs

Conversation

@Numero7
Copy link
Copy Markdown
Collaborator

@Numero7 Numero7 commented Apr 2, 2025

fixes miscalculation of maximal winning strategy

@Numero7 Numero7 linked an issue Apr 2, 2025 that may be closed by this pull request
@Numero7 Numero7 force-pushed the 57-bottleneck-2-pazz-bugs branch from c13294b to 59f5984 Compare April 2, 2025 10:45
@Numero7
Copy link
Copy Markdown
Collaborator Author

Numero7 commented Apr 2, 2025

@pazz I believe this does fix the bottleneck-2 bug, do you have a minute to check it on your side before I merge?

@pazz
Copy link
Copy Markdown
Collaborator

pazz commented Apr 2, 2025

yes! it produces the expected result, a constant 2 at state s.

@Numero7 Numero7 merged commit e585f69 into main Apr 2, 2025
1 check passed
@Numero7 Numero7 deleted the 57-bottleneck-2-pazz-bugs branch April 2, 2025 17:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bottleneck-2: pazz bugs

2 participants