Projects tagged with binary decision diagram