[LPisGood]

I saw that! In my experience, problems that seem completely intractable using open source tools often get solved in seconds using state of the art commercial approaches.

[danvk]

If you want to give it a try, I'd love to hear if that's the case! It's deleted in the repo now, but here's code to generate a spec for an ILP solver: https://github.com/danvk/hybrid-boggle/blob/62d3f01aed802734...

One interesting thing about Boggle is that the number of variables (16 cells) is very small compared to the number of coefficients on how they combine (the number of possible words).

[LPisGood]

I am very intrigued by this. I’ll do something thinking this evening about how a tight Boggle model may look.

[danvk]

Great! Feel free to reach out -- my email isn't hard to find.