pub fn solve_left(a: BinMatrix, b: &mut BinMatrix) -> bool
Solve AX = B for X
Modifies B in-place
B will contain the solution afterwards
Return True if it succeeded