[genman]

I would side with their grain of salt until they have actually completed their promise to implement a crossword puzzle solver using integer programming.

[SolverMax]

We did that:

https://www.solvermax.com/blog/crossword-milp-model-1

https://www.solvermax.com/blog/crossword-milp-model-2

Though note that we're compiling new crosswords, rather than solving existing puzzles.