ClemsonRSRG/RESOLVE — pull request #122 by mikekab (2014-05-06 00:47:07+00:00)
Title: Added prioritization module.

Improves performance by adding instantiated theorems in order of
relevance.