Distributed implementation of BDD package