1. A system comprising: means for storing a digital representation of a zero-suppressed binary decision diagram (ZDD) formed by manipulatively combining: an Include ZDD rule component that indicates inclusive constraints of a rule model; an Exclude ZDD rule component that indicates exclusive constraints of the rule model; and an Attribute Relations ZDD constructed from the Include and Exclude rule components to indicate interrelations between the Include and Exclude ZDD rule components; and means for determining a result responsive to an application of inputs to the ZDD, the inputs characterizing desired constraints of the rule model.