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

Jump to bottom

ub_array(array of var bool) removes constraints #374

Closed

glebbelov opened this issue Mar 6, 2020 · 0 comments

Contributor

glebbelov commented Mar 6, 2020 •

edited

The attached example loses the disjunction when ub_array is used (line 13), both in Gecode and MIP

20200303_exists_of_inequalities_from_function.mzn.tar.gz

guidotack closed this as completed in

2246a5d

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