Weighted Matchings for Preconditioning Symmetric Indefinite Linear Systems | Synapse