1. A method of rule processing comprising: producing a zero-suppressed binary decision diagram representing a rule, applying a series of inputs to the binary decision diagram to produce a result indicative of satisfiability of the rule, and providing at least one of selection and conflict advice along with the result.