Milp truncated utils

fix_variables_value_deterministic_truncated_xor_differential_constraints(milp_model, model_variables, fixed_variables=[])

generate_all_incompatibility_constraints_for_fully_automatic_model(model, model_type, x, x_class, include_all_components)

generate_incompatiblity_constraints_for_component(model, model_type, x, x_class, backward_component, include_all_components)