Producing puzzles where many letters are leftover that are unrelated to the hidden word.
Is somehow related to a disconnect between where the words are according to the MiniZinc output and where the words are according to a post-hoc search
The part that most doesn't make sense is that the extra "leftover" letters don't appear to be part of any word, therefore it's not a doubled-up word edge case, it's something else.
Producing puzzles where many letters are leftover that are unrelated to the hidden word.
Is somehow related to a disconnect between where the words are according to the MiniZinc output and where the words are according to a post-hoc search
The part that most doesn't make sense is that the extra "leftover" letters don't appear to be part of any word, therefore it's not a doubled-up word edge case, it's something else.
Problem can be replicated by running
with random seed = 1