Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add set conversion bridge #2536

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Add set conversion bridge #2536

wants to merge 10 commits into from

Conversation

blegat
Copy link
Member

@blegat blegat commented Aug 24, 2024

This is useful in constraint programming where you often have a set that is a special case of another one.
One example is CBLS.jl that has sets with a few more options that the MOI ones: JuliaConstraints/CBLS.jl#37

@odow
Copy link
Member

odow commented Sep 26, 2024

This need docs and tests

@odow
Copy link
Member

odow commented Oct 9, 2024

I'm still not convinced this is necessary

@odow
Copy link
Member

odow commented Oct 17, 2024

Isn't a better solution just for CBLS to use the MOI sets?

@blegat
Copy link
Member Author

blegat commented Oct 17, 2024

CBLS defines some with additional options so if the user uses the MOI set than he can use MiniZinc as well but if he plans to use CBLS only then he can uses sets with addtional options

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.

2 participants