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

Flattening problem with set variables #72

Closed
jnmonette opened this Issue Dec 18, 2015 · 0 comments

Comments

Projects
None yet
1 participant
@jnmonette

jnmonette commented Dec 18, 2015

Solving the following model produces two solutions: one with "obj = true" and one with "obj= false", while there should really only be the one with "obj = true" as which is constrained to be non-empty.

var set of 1..1: which;
constraint 1 in which;

var bool: obj;
constraint obj = exists([true | s in which]);

solve satisfy;

I could observe the behaviour with 2.0.8 and 2.0.10. Surprisingly enough, the "exists" construct translates into an "array_bool_and", would it be the problem?

@guidotack guidotack closed this in 9398cf1 Jan 14, 2016

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