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
