5. The method of claim 4 , further comprising configuring the computing device to execute the instructions to: separately perform removal operations on individual transitive closure sets of the Exclude ZDD rule components; and combine the results of respective removal operations to produce the abridged Exclude ZDD rule component.
5. The method of claim 4 , further comprising configuring the computing device to execute the instructions to: separately perform removal operations on individual transitive closure sets of the Exclude ZDD rule components; and combine the results of respective removal operations to produce the abridged Exclude ZDD rule component. 6. The method of claim 5 , further comprising configuring the computing device to execute the instructions to: reorder nodes of the ZDD rule model so that marker node groups appear at a bottom of the ZDD rule model; remove nodes that point to a same node as the marker node; remove marker nodes that point to a one node; and reorder nodes of the ZDD rule model back to an initial index.