format

Author: joaquimg

src/infeasibility.jl

@@ -438,7 +438,10 @@ function iis_elastic_filter(original_model::MOI.ModelLike, optimizer)
 
     # handle optimize not called
     status = MOI.get(original_model, MOI.TerminationStatus())
-    if !(status in (MOI.INFEASIBLE, MOI.ALMOST_INFEASIBLE, MOI.ALMOST_INFEASIBLE))
+    if !(
+        status in
+        (MOI.INFEASIBLE, MOI.ALMOST_INFEASIBLE, MOI.ALMOST_INFEASIBLE)
+    )
         println(
             "iis resolver cannot continue because model is found to be $(status) by the solver",
         )
@@ -462,7 +465,8 @@ function iis_elastic_filter(original_model::MOI.ModelLike, optimizer)
     for i in 1:max_iterations
         MOI.optimize!(model)
         status = MOI.get(model, MOI.TerminationStatus())
-        if status in (MOI.INFEASIBLE, MOI.ALMOST_INFEASIBLE, MOI.ALMOST_INFEASIBLE)
+        if status in
+           (MOI.INFEASIBLE, MOI.ALMOST_INFEASIBLE, MOI.ALMOST_INFEASIBLE)
             break
         end
         for (con, func) in constraint_to_affine
@@ -516,17 +520,22 @@ function iis_elastic_filter(original_model::MOI.ModelLike, optimizer)
         _set_bound_zero(model, var, has_lower, T)
         MOI.optimize!(model)
         status = MOI.get(model, MOI.TerminationStatus())
-        if status in (MOI.INFEASIBLE, MOI.ALMOST_INFEASIBLE, MOI.ALMOST_INFEASIBLE)
+        if status in
+           (MOI.INFEASIBLE, MOI.ALMOST_INFEASIBLE, MOI.ALMOST_INFEASIBLE)
             # this constraint is not in IIS
         elseif status in (
-            MOI.OPTIMAL, MOI.ALMOST_OPTIMAL, MOI.LOCALLY_SOLVED, MOI.ALMOST_LOCALLY_SOLVED,
-            )
+            MOI.OPTIMAL,
+            MOI.ALMOST_OPTIMAL,
+            MOI.LOCALLY_SOLVED,
+            MOI.ALMOST_LOCALLY_SOLVED,
+        )
             push!(cadidates, con)
             _fix_to_zero(model, var, T)
         elseif status in (
             MOI.INFEASIBLE_OR_UNBOUNDED,
-            MOI.DUAL_INFEASIBLE, MOI.ALMOST_DUAL_INFEASIBLE, # possibily primal unbounded
-            )
+            MOI.DUAL_INFEASIBLE,
+            MOI.ALMOST_DUAL_INFEASIBLE, # possibily primal unbounded
+        )
             MOI.set(model, MOI.ObjectiveSense(), MOI.FEASIBILITY_SENSE)
             MOI.optimize!(model)
             primal_status = MOI.get(model, MOI.PrimalStatus())
@@ -535,11 +544,7 @@ function iis_elastic_filter(original_model::MOI.ModelLike, optimizer)
                 push!(cadidates, con)
                 _fix_to_zero(model, var, T)
                 MOI.set(model, MOI.ObjectiveSense(), obj_sense)
-                MOI.set(
-                    model,
-                    MOI.ObjectiveFunction{obj_type}(),
-                    obj_func,
-                )
+                MOI.set(model, MOI.ObjectiveFunction{obj_type}(), obj_func)
             else
                 error(
                     "IIS failed due numerical instability, got status $status,",