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