aperrault/stable-matching-suite
SAT implementation of stable matching problem with couples and reference implementations of deferred acceptance algorithms.
C++
No issues in this repository yet.
SAT implementation of stable matching problem with couples and reference implementations of deferred acceptance algorithms.
C++
No issues in this repository yet.