construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 16 x 6 binary matrices (0-indexed, one row per line). A: 101110 011110 111111 001110 011111 100101 001101 001110 101110 111010 011111 111111 111011 101111 111100 110111 B…
The task
A and B are 16 x 6 binary matrices (0-indexed, one row per line). A: 101110 011110 111111 001110 011111 100101 001101 001110 101110 111010 011111 111111 111011 101111 111100 110111 B: 110100 111111 011100 111110 111010 110111 101011 110111 110010 011111 111001 111111 101111 110011 110010 111010