ClemsonRSRG/RESOLVE — pull request #54 by hamptonsmith (2013-04-14 18:25:22+00:00)
Title: Added flags in AutomatedProver to permit a number of heuristics to be to...

...ggled on or off. Added a new step to the automated prover that occasionally prunes out 'obvious' antecedents like 'true' or 'S = S'.