Maps+BDD