Approximating Submodular Matroid-Constrained Partitioning | Synapse