validatetools0.6.1 package

get categorical rules as mip_rules

Get coefficient matrix from categorical rules

Detect domains for categorical variables

Detect the allowed range for numerical variables

Detect contradictory if-rules

Detect fixed variables

Detect which rules cause infeasibility

Detect redundant rules

expect values

Check whether rules are categorical

Check whether rules are conditional rules

Find out which rules are conflicting

Find which rule(s) imply a rule

Check the feasibility of a rule set

Check which rules are linear rules.

Make an infeasible system feasible.

Create a rule used by mip

Remove redundant rules

Simplify conditional statements

Simplify fixed variables

Simplify a rule set

substitute a value in a rule set

translate linear rules into an lp problem

Tools for validation rules