Commit 609bff25 authored by Rémi's avatar Rémi
Browse files

Need double checks on presolve

parent 1ab4b4a3
......@@ -62,6 +62,14 @@ function iir_ilp1!(model::Model,
infeasibility_proven = false
end
second_presolve!(model, presolve_time_sec_for_each_coef=presolve_time_sec_for_each_coef, verbose=verbose)
if !model[:success_presolve]
if !model[:infeasibility_proven]
infeasibility_proven = false
end
continue
else
infeasibility_proven = false
end
@assert model[:success_presolve]
success_presolve = model[:success_presolve]
verbose && println(model[:bounds_a])
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment