binary decision diagram package
