-
Notifications
You must be signed in to change notification settings - Fork 137
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
[BUG] MiniZinc parser crashes on a model with float vars #1098
Comments
That's because the flatzinc parser of choco-solver does not support float variables and constraints. |
That's unfortunate. Is there any way to pass a model with float variables to choco-solver without writing the Java code by hand? |
Sadly, no, it requires to update the parser in order to support float variables and float constraints declaration. |
Describe the bug
Consider the following MiniZinc model:
When I run Choco on this model in MiniZinc IDE, it crashes with the following stacktrace:
It looks like the line
array [1..2] of float: X_INTRODUCED_2_ = [-2.0,-3.0];
in generated flatzinc representation kills the parser. When I change the variables to ints it works.Environment (please complete the following information):
The text was updated successfully, but these errors were encountered: