construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 8 x 12 binary matrices (0-indexed, one row per line). A: 010011111101 111111110011 110111101101 101010110110 111101111111 101111011101 001111101011 111111111011 B: 111011100111…
The task
A and B are 8 x 12 binary matrices (0-indexed, one row per line). A: 010011111101 111111110011 110111101101 101010110110 111101111111 101111011101 001111101011 111111111011 B: 111011100111 010011111111 110100101111 001001111111 111110111110 111110111111 111111111101 101111001010