validatetools0.5.2 package

get categorical rules as mip_rules

Get coefficient matrix from categorical rules

Detect viable domains for categorical variables

Detect the range for numerical variables

Detect fixed variables

Detect which rules cause infeasibility

Detect redundant rules without removing.

expect values

Check if rules are categorical

Check if rules are conditional rules

Find out which rules are conflicting

Find which rule(s) make rule_name redundant

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