construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 20 x 6 binary matrices (0-indexed, one row per line). A: 100101 100100 000100 100100 000011 001001 101000 000011 000011 111011 101011 010111 001010 101000 110001 001011 110111…
The task
A and B are 20 x 6 binary matrices (0-indexed, one row per line). A: 100101 100100 000100 100100 000011 001001 101000 000011 000011 111011 101011 010111 001010 101000 110001 001011 110111 011001 100000 011000 B: 011111 010100 000011 111110 000011 010111 100000 010100 100010 010001 100010 000101 010101 010100 110010…