ClemsonRSRG/RESOLVE — pull request #123 by mikekab (2014-05-10 00:24:26+00:00)
Title: Improved heuristics

Works with current workspace. Proves both queue and globally bounded queue selection sorts.