ClemsonRSRG/RESOLVE — pull request #36 by hamptonsmith (2013-02-24 02:37:47+00:00)
Title: Added a limit to the number of developments the prover will perform to l...

...imit combinatorial explosion.