Hamming distance in MiniZinc

hamming.mzn

function int: hamming_distance(array[int] of int: arr1, array[int] of int: arr2) =
  sum([if arr1[i] != arr2[i] then 1 else 0 endif | i in index_set(arr1)]);

% Example usage
array[int] of int: arr1 = [107, 97, 114, 111, 108, 105, 110];
array[int] of int: arr2 = [107, 97, 116, 104, 114, 105, 110];

int: distance = hamming_distance(arr1, arr2);

output ["The Hamming distance is ", show(distance)];