Use assert_is_solved_and_feasible in the JuMP extension?

[amontoison]

• https://jump.dev/JuMP.jl/dev/api/JuMP/#JuMP.assert_is_solved_and_feasible
• https://github.com/gdalle/SparseMatrixColorings.jl/blob/main/ext/SparseMatrixColoringsJuMPExt.jl#L47

[gdalle]

This is voluntarily optional because finding an optimal coloring is NP-hard, but any feasible coloring will do. In a sense, we can also use JuMP as a heuristic and stop the solve after a reasonable time instead of letting it run forever, but without erroring if the solution is not proven to be optimal. That's what assert_solved means

[amontoison]

@gdalle We already use @assert is_solved_and_feasible(model). Why not using the function of JuMP (assert_is_solved_and_feasible) with more information?

Sorry I should have give more details.

[gdalle]

Oh right, I didn't realize but it does provide a better error message. Good idea!