
HolBddLib has been revised. The old version can be found in the directory OldHolBdd.

