ClemsonRSRG/RESOLVE — pull request #118 by mikekab (2014-04-16 17:14:26+00:00)
Title: Congruence Class Prover added

Start with flag -ccprove