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

Element global constraint accepting lists leads to error in linearize constraint #259

Closed
Wout4 opened this issue Mar 23, 2023 · 1 comment

Comments

@Wout4
Copy link
Collaborator

Wout4 commented Mar 23, 2023

Bug found while fuzztesting on linearize_constraint

minimal example:

cons = [Element([1,5,3,4],iv[0]) == 6]
linearize_constraint(cons)

possible fix: make array in Element constructor

@IgnaceBleukx
Copy link
Collaborator

Closing as the new linearize function should not decompose any global constraints.
Either they are decomposed using decompose_global or the constraint is supported and should fall through the entire transformation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants