P
Initializing...
Stable matchings exist (Gale-Shapley) · Prove2Me