Skip to content

Add ConflictCount and conflict_index to ConstraintConflictStatus - #2775

Merged
odow merged 9 commits into
masterfrom
jg/many_conflicts
Aug 3, 2025
Merged

Add ConflictCount and conflict_index to ConstraintConflictStatus#2775
odow merged 9 commits into
masterfrom
jg/many_conflicts

Conversation

@joaquimg

@joaquimg joaquimg commented Jun 11, 2025

Copy link
Copy Markdown
Member

This is a request for comments.

While implementing:

It became clear that returning multiple conflicts is very useful, for instance, when returning multiple bound conflicts.

Moreover, I know that Xpress supports returning multiple conflicts.

The ListOfConstraintIndicesInConflict can be more controversial and left for another PR.

Comment thread src/attributes.jl
Comment thread src/attributes.jl Outdated
@joaquimg joaquimg changed the title [WIP] New conflict attributes [RFC] New conflict attributes Jun 13, 2025
@odow

odow commented Jul 9, 2025

Copy link
Copy Markdown
Member

What's the plan with this? I think we are agreed that returning multiple IIS is useful. But another ListOf... is not needed.

@joaquimg

Copy link
Copy Markdown
Member Author

I will cleanup and remove the ListOf...

@odow

odow commented Jul 17, 2025

Copy link
Copy Markdown
Member

Let's discuss this tomorrow

@odow odow changed the title [RFC] New conflict attributes Add ConflictCount and conflict_index to ConstraintConflictStatus Jul 17, 2025
@odow

odow commented Jul 17, 2025

Copy link
Copy Markdown
Member

Do we need a corresponding error like MOI.ResultIndexBoundsError?

@odow

odow commented Aug 3, 2025

Copy link
Copy Markdown
Member

Good to merge?

@joaquimg

joaquimg commented Aug 3, 2025

Copy link
Copy Markdown
Member Author

Good for me

@odow

odow commented Aug 3, 2025

Copy link
Copy Markdown
Member

I just tweaked the docstring

@odow
odow merged commit d060acd into master Aug 3, 2025
29 checks passed
@odow
odow deleted the jg/many_conflicts branch August 3, 2025 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants