Comment on After 20 years, the globally optimal Boggle boardparentComments−danvkOP1yYou can see all the wordlists I used here: https://github.com/danvk/hybrid-boggle/tree/main/wordlistsThe proof used ENABLE2K — repeating it for other wordlists would require another ~23,000 CPU hours each.
Comments
You can see all the wordlists I used here: https://github.com/danvk/hybrid-boggle/tree/main/wordlists
The proof used ENABLE2K — repeating it for other wordlists would require another ~23,000 CPU hours each.