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

The internal error message was: "Id not found" #782

Closed
jarble opened this issue Jan 9, 2024 · 0 comments
Closed

The internal error message was: "Id not found" #782

jarble opened this issue Jan 9, 2024 · 0 comments
Labels
bug resolved Issue is resolved and the feature or fix will be part of next release

Comments

@jarble
Copy link

jarble commented Jan 9, 2024

MiniZinc 2.8.2 produces an error message when I compile and run this program using the Chuffed 0.13.1 solver:

var int: a;

constraint a = max(a,6);
constraint a = max(a,3);
constraint a = max(a,1);

solve satisfy;

output [show(a)];

Why does MiniZinc produce this error?

MiniZinc has encountered an internal error. This is a bug.
Please file a bug report using the MiniZinc bug tracker.
The internal error message was: 
"Id  not found"

The error doesn't occur when I run the following program, which should be equivalent to the above program:

var int: a;

constraint a >= 6;
constraint a >= 3;
constraint a >= 1;

solve satisfy;

%the output is 6
output [show(a)];
@cyderize cyderize added bug resolved Issue is resolved and the feature or fix will be part of next release labels Jan 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug resolved Issue is resolved and the feature or fix will be part of next release
Projects
None yet
Development

No branches or pull requests

2 participants