[Gecode-bugs] New bug: global_cardinality Altered in MiniZinc 1.2

[Guido Tack]

Thanks a lot for your report.  We're sorry for not replying earlier, our bug tracker suffered from severe spamming so we simply missed your report.  The problem should be fixed in the current release of Gecode.

Cheers,
Guido

On 25 Jan 2011, at 20:35, Gecode Bug Tracker wrote:

> New bug report for Gecode from John Hewson (john.hewson at ed.ac.uk).
> 
> Summary: global_cardinality Altered in MiniZinc 1.2
> 
> Gecode version: 3.4.2
> Platform: Windows
> 
> Details:
> The global_cardinality predicate has been deprecated in MiniZinc 1.2 and replaced with a new version with different parameters.
> 
> (This issue breaks mzn2fzn for any MiniZinc file with include \"globals.mzn\". The current workaround is to delete Gecode\'s copy of global_cardinality.mzn)
> 
> This seems to be the only breaking change in MZ 1.2.
> 
> _______________________________________________
> bugs mailing list
> bugs at gecode.org
> http://www.gecode.org/cgi-bin/mailman/listinfo/bugs

-- 
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/