search

MiniZinc / libminizinc

The MiniZinc compiler
http://www.minizinc.org
Other
513 stars 80 forks source link

Constraint array_float_element not found #15

Closed kim0 closed 9 years ago

kim0 commented 9 years ago

With the following simple traveling salesman model: https://gist.github.com/kim0/ba480a0f918c41e1a2e9

I get this error when I run it $ mzn-gecode -a solver-sa.mzn Error: Registry: Constraint array_float_element not found

guidotack commented 9 years ago

Hi, this is a limitation in the Gecode FlatZinc interface, not in MiniZinc itself.

Cheers, Guido

kim0 commented 9 years ago

@guidotack Thanks .. g12mip also yields this error .. Any thoughts ?

MiniZinc: evaluation error: cannot determine bounds