pub fn matroid_intersection_optimality_ty() -> Expr
MatroidIntersectionOptimality : the max weight common independent set.