pub fn boolean_matrix_product( b: &[Vec<bool>], c: &[Vec<bool>], ) -> Vec<Vec<bool>>
Compute the boolean matrix product.