search

miguelkachondo / or-tools

Automatically exported from code.google.com/p/or-tools
0 stars 0 forks source link

fz crashes #61

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. run fz distance.fzn

What is the expected output? What do you see instead?
I expect some useful response from solver, but I get only this:
"Invalid constraint int_lin_eq([[1, -18669], [se, X_INTRODUCED_2],  0]) => se 
Aborted (core dumped)".

What version of the product are you using? On what operating system?
Latest revision of or-tools(3847). Ubuntu 14.04.1

Please provide any additional information below.
Another flatzinc solvers give me right answer. This flatzinc file was generated 
automatically by mzn2fzn convertor. Besides, I don't see this constraint in 
this flatzinc file.
Excuse my bad English and I'm sorry if it is my fault.

Original issue reported on code.google.com by itos...@gmail.com on 3 Feb 2015 at 8:39

Attachments:

GoogleCodeExporter commented 9 years ago 
Fixed. 

Thanks for the report.

Original comment by laurent....@gmail.com on 3 Feb 2015 at 10:52