BuDDy: A Binary Decision Diagram Package