[gecode-users] int2float in fzn parser

[Guido Tack]

Thanks, that was simply an oversight.  I just added it on the svn trunk.

Cheers,
Guido

On 08/04/2013, at 8:47 PM, Tias Guns <tias.guns at cs.kuleuven.be> wrote:

> 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
> 
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users