construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 10 x 9 binary matrices (0-indexed, one row per line). A: 101100000 101110010 000111001 110100011 011111001 111011101 111011001 110111110 010101110 101011101 B: 111000011…
The task
A and B are 10 x 9 binary matrices (0-indexed, one row per line). A: 101100000 101110010 000111001 110100011 011111001 111011101 111011001 110111110 010101110 101011101 B: 111000011 001010110 110111110 101111011 101100101 110011110 011110110 110110110 111000000 001111001