Nathan Tran

Fixing one off in the uniform_on_restart bug.

2

This pull request makes a small but important fix to the random value assignment logic in the `gecode/flatzinc/flatzinc.cpp` file. The change ensures that the generated random integer values can include...

**Describe the bug** The function `uniform_on_restart` doesn't return the upper bound value in the runtime, which is expected to return a random number `x` between `lower` and `upper` (`lower