construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 5 x 4 binary matrices (0-indexed, one row per line). A: 0111 0111 1101 1100 1111 B: 1111 1011 1110 1001 1110
The task
A and B are 5 x 4 binary matrices (0-indexed, one row per line). A: 0111 0111 1101 1100 1111 B: 1111 1011 1110 1001 1110