有没有办法在MiniZinc中交换二维数组(矩阵)的列，并保持跟踪？

% 定义一个3x3的二维数组（矩阵）
array[1..3, 1..3] of int: matrix = [|1, 2, 3|, |4, 5, 6|, |7, 8, 9|];

% 转置矩阵
array[1..3, 1..3] of int: transposed_matrix = transpose(matrix);

% 打印原始矩阵和转置后的矩阵
output["原始矩阵：", show(matrix)];
output["转置后的矩阵：", show(transposed_matrix)];

原始矩阵：[|1, 2, 3|, |4, 5, 6|, |7, 8, 9|]
转置后的矩阵：[|1, 4, 7|, |2, 5, 8|, |3, 6, 9|]