vaibtan / stable-matching-suite Goto Github PK
View Code? Open in Web Editor NEWThis project forked from aperrault/stable-matching-suite
SAT implementation of stable matching problem with couples and reference implementations of deferred acceptance algorithms.