Create a rule used by mip
mip_rule(a, op, b, rule, type, weight = Inf, ...)
a
named vector with coefficients
op
operator in ("<=", "==", ">=", ">", "<")