Show HN: A solver for the recent Huewords game

This is a constraint programming model that solves the Huewords game that was discussed on HN yesterday: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=40571463">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=40571463</a>