Commit 0e2e6479 authored by Rémi's avatar Rémi
Browse files

debug

parent abfe25d1
......@@ -169,6 +169,7 @@ function mcm_ilp_odd_increment!(model::Model,
total_solve_time += current_solve_time
timelimit -= current_solve_time
verbose && println("$(termination_status(model)) for NA=$(NA)")
println((!solved_once) || (termination_status(model) in [MOI.INFEASIBLE, MOI.INFEASIBLE_OR_UNBOUNDED] && timelimit > 0 && nb_total_adders_ub >= NA+1))
end
model[:NA] = NA
if !solved_once
......
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