ClemsonRSRG/RESOLVE — pull request #32 by hamptonsmith (2013-02-16 22:20:30+00:00)
Title: Fixed a bug that caused the prover to freeze the UI and go into an infin...

...ite loop when it exhausted the proof search space. Added a Minimization step after theory development but before main proof search.