detect_boundary_cat     Detect viable domains for categorical variables
detect_boundary_num     Detect the range for numerical variables
detect_fixed_variables
                        Detect fixed variables
detect_infeasible_rules
                        Detect which rules cause infeasibility
detect_redundancy       Detect redundant rules without removing.
expect_values           expect values
is_categorical          Check if rules are categorical
is_conditional          Check if rules are conditional rules
is_contradicted_by      Find out which rules are conflicting
is_implied_by           Find which rule(s) make rule_name redundant
is_infeasible           Check the feasibility of a rule set
is_linear               Check which rules are linear rules.
make_feasible           Make an infeasible system feasible.
remove_redundancy       Remove redundant rules
simplify_conditional    Simplify conditional statements
simplify_fixed_variables
                        Simplify fixed variables
simplify_rules          Simplify a rule set
substitute_values       substitute a value in a rule set
translate_mip_lp        translate linear rules into an lp problem
validatetools           Tools for validation rules
