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