pub type Coefficient = (String, i64);
Represents a coefficient in a linear constraint: (variable_name, coefficient_value).