bdd mod
bdd mod
BDD comp
merge