alliance/src/bdd
