construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 24 x 10 binary matrices (0-indexed, one row per line). A: 1011111111 1111111111 1011001111 1111111111 1000110011 1101101101 0010110011 1011011110 1010110100 1100101011…
The task
A and B are 24 x 10 binary matrices (0-indexed, one row per line). A: 1011111111 1111111111 1011001111 1111111111 1000110011 1101101101 0010110011 1011011110 1010110100 1100101011 1111011100 1101011010 1010111111 1111111011 1100111111 1111111110 1110101110 0111011110 0111111101 0111011011 1110111100 0111001101…