Skip to content

Conversation

@joaquimg
Copy link
Member

@joaquimg joaquimg commented Jun 11, 2025

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.

@joaquimg joaquimg changed the title [WIP] New conflict attributes [RFC] New conflict attributes Jun 13, 2025
@odow
Copy link
Member

odow commented Jul 9, 2025

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
Member Author

I will cleanup and remove the ListOf...

@odow
Copy link
Member

odow commented Jul 17, 2025

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
Copy link
Member

odow commented Jul 17, 2025

Do we need a corresponding error like MOI.ResultIndexBoundsError?

@odow
Copy link
Member

odow commented Aug 3, 2025

Good to merge?

@joaquimg
Copy link
Member Author

joaquimg commented Aug 3, 2025

Good for me

@odow
Copy link
Member

odow commented Aug 3, 2025

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.

4 participants