ClemsonRSRG/RESOLVE — pull request #40 by hamptonsmith (2013-03-18 05:08:07+00:00)
Title: A host of updates and bug-fixes to the prover.  Array_Realiz now verifie...

...s automatically.