Removed BDD tools