I have a problem

88 views
Skip to first unread message

Iris Hdjdhsn

unread,
Sep 17, 2023, 2:47:31 AM9/17/23
to MiniZinc
When a run my program in the terminal appears this warning
Warning: included file "count.mzn" overrides a global constraint file from the standard library. This is deprecated. For a solver-specific redefinition of a global constraint, override "fzn_<global>.mzn" instead.
Anyone knows how to solve

guido.tack

unread,
Sep 18, 2023, 12:52:25 AM9/18/23
to MiniZinc
The error message probably means that either your model file is called "count.mzn", which is problematic since the MiniZinc standard library contains a file called "count.mzn". Renaming your file should get rid of this warning.

Cheers,
Guido

Reply all
Reply to author
Forward
0 new messages