construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 2 x 12 binary matrices (0-indexed, one row per line). A: 111011101111 101110111111 B: 110011111111 111111010111
The task
A and B are 2 x 12 binary matrices (0-indexed, one row per line). A: 111011101111 101110111111 B: 110011111111 111111010111