3 ms·

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 ap

• danvk 1y ago
  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/62d3f01aed802734a28a119df6c59b684d38667c/boggle/z3.py 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 1y ago
    I am very intrigued by this. I’ll do something thinking this evening about how a tight Boggle model may look.
    • danvk 1y ago
      Great! Feel free to reach out -- my email isn't hard to find.