Yeah, the (ro)BDD comparison really is missing; those would be the default data structure I'd reach for for such a problem.