BuDDy : A binary decision diagram package.