merging bdd2aig and aig2bdd
removing trash
OO aig structure and decomposition algorithms included (not tested)