When Chuffed encounters a tie (which is almost-always) it breaks it by grabbing the first argument. This biases it towards the y-coordinates since these are always listed first. This is why the vertical words on the sides consistently have more letters than the horizontal works at the bottom.
We can mix this up by randomly shuffling the x & y arguments. Can maybe implement this directly in Minizinc with a random sampling step, or just using "random" rather than "first fail"
When Chuffed encounters a tie (which is almost-always) it breaks it by grabbing the first argument. This biases it towards the y-coordinates since these are always listed first. This is why the vertical words on the sides consistently have more letters than the horizontal works at the bottom.
We can mix this up by randomly shuffling the x & y arguments. Can maybe implement this directly in Minizinc with a random sampling step, or just using "random" rather than "first fail"