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: https://news.ycombinator.com/item?id=40571463 https://news.ycombinator.com/item?id=40571463