The processor clock speed and memory capacity of typical desktop computers makes it possible to mathematically enumerate and analyze complex systems using modern mathematics. Berkeley & Imperial have taken advantage of these changes by developing a powerful algorithm, which supports enumeration and analysis of engineering and logistical systems. The model has been used with the monte carlo method to estimate the reliability of a complex system and has been adapted to provide a state-of-the-art tool for enumeration and simulation of decision trees.