[gecode-users] int2float in fzn parser

[Tias Guns]

Hi,

I wanted to test gecode's new float vars using some minizinc
formulations.

It seems that gecode's fzn parser does not recognize int2float():
Error: Registry: Constraint int2float not found in line ...

even though gecode itself does have such a channel constraint:
http://www.gecode.org/doc-latest/reference/group__TaskModelFloatChannel.html


Here is a nonsense testcase:
var 1..5: x;
constraint int2float(x) > 1.2;
solve satisfy;


Would it be hard to add?

Thanks in advance,
Tias

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm