1. A rule processing device comprising: a set of zero-suppressed binary decision diagram representing a rule, an execution engine that receives user inputs for application to the set of binary decision diagram to produce a result indicative of satisfiability of the rule, and an advice module that provides at least one of selection and conflict advice along with the result.