ClemsonRSRG/RESOLVE — pull request #121 by mikekab (2014-04-28 19:41:33+00:00)
Title: Heuristic added that greatly improves performance.

On the first pass through the theorems, only bound theorem expressions
that have at least one symbol in the goal (or a goal subexpression) are
inserted into the VC.

Also added a time to quit parameter to the applyTo method in the Theorem
class.