Some 'standard triple' normalization code.
Some 'standard triple' normalization code.

This only includes a tiny bit of the code discussed in ``Efficient
Implementation of a BDD Package'' by Brace, Rudell, and Bryant.  The
other cases mostly require fast computation of negation through
complement arcs.

bradlarsen/bdd