search

COPT-Public / COPT.jl

Julia interface for COPT (Cardinal Optimizer)
Other
36 stars 4 forks source link

Support IIS (irreducible inconsistent subsystem) #22

Closed mzy2240 closed 1 year ago

mzy2240 commented 1 year ago

Can we add the support for checking which constraints are conflicted? I heard the C interface and the python interface already support this feature.

odow commented 1 year ago

Docs: https://jump.dev/MathOptInterface.jl/dev/reference/models/#Conflict-Status

Gurobi implementation: https://github.com/jump-dev/Gurobi.jl/blob/555efdf64940812ac954519e34bdb77a1dc7ad53/src/MOI_wrapper/MOI_wrapper.jl#L3744-L3925

joachimdahl commented 1 year ago

This should be included with #23, so I am closing this.