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

variable range restriction not obeyed #150

Closed
haolu23 opened this Issue Mar 15, 2017 · 0 comments

Comments

Projects
None yet
1 participant
@haolu23

haolu23 commented Mar 15, 2017

I have an int variable defined within a range; however, the range is breached in solution. Tried Gecode and chuffed solver with the same breaches.

I am using minizinc: MiniZincIDE-2.1.2-bundle-linux-x86_64

variable 'eastend' would breach the range.

portschedule.zip

guidotack added a commit that referenced this issue Mar 28, 2017

@guidotack guidotack closed this in 513a591 May 17, 2017

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