construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 12 x 10 binary matrices (0-indexed, one row per line). A: 0001110011 1011010001 1011011111 1011110110 0111111111 1011111010 1111101110 1011110111 1011101110 1101101001…
The task
A and B are 12 x 10 binary matrices (0-indexed, one row per line). A: 0001110011 1011010001 1011011111 1011110110 0111111111 1011111010 1111101110 1011110111 1011101110 1101101001 0101111111 0000111111 B: 0110111111 1111110101 0011011111 0111100100 1011011111 0011101111 0101110101 0111101111 0011111110 0110101010…