/* Set `out` to be a random value between `low` and `high` (inclusive) from a uniform distribution */
predicate fzn_on_restart_uniform_int(int: low, int: high, var int: out) = abort("experimental on_restart feature `uniform int' not supported by target solver");
