/* Set `out` to be a the last solution value of `input` on each restart */
predicate fzn_on_restart_sol_float(var float: input, var float: out) = abort("experimental on_restart feature `sol float' not supported by target solver");
