Formula generation requires large memory resources

[RonKaminsky]

Currently the formula generation process keeps all formulas in memory (to save time). An option to use files should be provided to enable the process to run on platforms with smaller memories.