#3 support for larger boolean expressions

[Jerrad Genson]

The Quine-McCluskey algorithm currently used by Boolean Minimizer is precise and serviceable, but can not handle a large number of variables efficiently. Boolean Minimizer should detect when Quine-McCluskey has reached its efficiency limits and seamlessly switch to another approach - possibly the Espresso heuristic or a genetic algorithm.

http://en.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer
http://en.wikipedia.org/wiki/Genetic_algorithm