BDD Hashing

The HomeBrew library relies heavily on hashing in order to reduce NP complete recursive problems to ones that are much more manageable. Several things have been done to make improvements in the way our hashes are implemented. Unfortunately, details are not given here...

Here is a picture representation of a Binary Decision Diagram for your viewing pleasure: