construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 10 x 8 binary matrices (0-indexed, one row per line). A: 01111110 11110111 01111111 11111111 11110011 10111111 11101101 11111111 00111111 11110111 B: 11011011 10111111 11110011…

The task

A and B are 10 x 8 binary matrices (0-indexed, one row per line). A: 01111110 11110111 01111111 11111111 11110011 10111111 11101101 11111111 00111111 11110111 B: 11011011 10111111 11110011 10101111 11111111 11111011 10111111 11111111 11111100 11110111

Part of amphora/MathConstructOptimize-Envs-harbor.