Show HN: A solver for the recent Huewords game (github.com)

This is a constraint programming model that solves the Huewords game that was discussed on HN yesterday: https://news.ycombinator.com/item?id=40571463