construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 8 x 12 binary matrices (0-indexed, one row per line). A: 100000000000 000000000000 000000000000 000001000000 000000000000 001000000000 000000000000 100000000000 B: 000001000000…
The task
A and B are 8 x 12 binary matrices (0-indexed, one row per line). A: 100000000000 000000000000 000000000000 000001000000 000000000000 001000000000 000000000000 100000000000 B: 000001000000 000000000000 000000000000 000001000000 000000100000 000000000000 000000000100 000000000000