ZDD annotation libraries for ZDD