2. The system of claim 1 where the inclusive constraints comprise included or true relations between an attribute and an enumeration value of the rule model; and where the exclusive constraints comprise excluded or false relations between an attribute and an enumeration value of the rule model.
2. The system of claim 1 where the inclusive constraints comprise included or true relations between an attribute and an enumeration value of the rule model; and where the exclusive constraints comprise excluded or false relations between an attribute and an enumeration value of the rule model. 6. The system of claim 2 where the Include and Exclude ZDD rule components have associated attributes and enumeration values.