Package: minizinc-ide
Version: 2.8.2-1+b1
Severity: grave
Justification: renders package unusable
X-Debbugs-Cc: olivier.bou...@protonmail.com
Dear Maintainer,
After cliking on "Run" with a simple project file (which I would like to attach
to this report but I just don't know how to), I get the following error output:
global_cardinality_fn:20.20-66:
MiniZinc: type error: no function or predicate with this signature found:
`global_cardinality(array[int] of var opt int,array[int] of int,array[int] of
var int)'
Cannot use the following functions or predicates with the same identifier:
function array [$Y] of var int : global_cardinality(array [$X] of var $$E:
x,array [$Y] of $$E: cover):: promise_total;
(requires 2 arguments, but 3 given)
function array [$Y] of var int : global_cardinality(array [$X] of var opt $$E:
x,array [$Y] of $$E: cover):: promise_total;
(requires 2 arguments, but 3 given)
predicate global_cardinality(array [int] of var int: x,array [int] of int:
cover,array [int] of var int: counts);
(argument 1 expects type array[int] of var int, but type array[int] of var
opt int given)
Whereas, when using the official Linux binary archive (version 2.8.5 -
1315243669) taken from https://www.minizinc.org/downloads/, everything works
just fine with the very same project file.
Is it conceivable to update testing/sid package version to a newer one?
As a matter of fact, I also get the following list of warnings, which has
actually been automatically cropped:
Warning: included file "sum_pred.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.
Warning: included file "sort.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.
Warning: included file "roots.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.
Warning: included file "regular.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.
Warning: included file "range.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.
Warning: included file "partition_set.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.
Warning: included file "nvalue.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.
Warning: included file "link_set_to_booleans.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.
Warning: included file "inverse_set.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.
Warning: included file "inverse.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.
Warning: included file "int_set_channel.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.
Warning: included file "global_cardinality_low_up_closed.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.
Warning: included file "global_cardinality_low_up.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.
Warning: included file "global_cardinality_closed.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.
Warning: included file "global_cardinality.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.
Warning: included file "distribute.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.
Warning: included file "disjunctive_strict.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.
Warning: included file "disjoint.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.
Warning: included file "diffn.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.
Warning: included file "cumulative.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.
Warning: Further warnings have been suppressed.
All the best.
Olivier
-- System Information:
Debian Release: trixie/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 6.1.0-10-amd64 (SMP w/8 CPU threads; PREEMPT)
Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages minizinc-ide depends on:
ii libc6 2.38-13
ii libgcc-s1 14-20240330-1
ii libqt5core5t64 5.15.13+dfsg-2
ii libqt5gui5t64 5.15.13+dfsg-2
ii libqt5network5t64 5.15.13+dfsg-2
ii libqt5sql5t64 5.15.13+dfsg-2
ii libqt5websockets5 5.15.13-2
ii libqt5widgets5t64 5.15.13+dfsg-2
ii libstdc++6 14-20240330-1
ii minizinc 2.8.3+dfsg1-1
minizinc-ide recommends no packages.
minizinc-ide suggests no packages.
-- no debconf information
