[Gecode-bugs] New bug: global_cardinality Altered in MiniZinc 1.2
tack at gecode.org
Thu Aug 18 12:01:29 CEST 2011
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.
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
> 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
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/
More information about the bugs