construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 9 x 22 binary matrices (0-indexed, one row per line). A: 1101110101011110110101 1101111111111101011111 0110111110111111000101 1011111111010001111101 1000100111011111111110…
The task
A and B are 9 x 22 binary matrices (0-indexed, one row per line). A: 1101110101011110110101 1101111111111101011111 0110111110111111000101 1011111111010001111101 1000100111011111111110 1111111010111011111110 0101101101111001001111 0011011111001101011111 0111111111011110101000 B: 1100111011101110010101…