Added a limit to the number of developments the prover will perform to limit combinatorial explosion.
Merge pull request #36 from hamptonsmith/facilities2

Added a limit to the number of developments the prover will perform to l...