Package: flatzinc Version: 4.4.0-5 Severity: important File: /usr/bin/mzn-gecode
Dear Maintainer, When trying to use mzn-gecode, it fails because it tries to call minizinc, which is not installed. This is a flatzinc package issue, but will likely be seen by people installing minizinc (and dependencies), and trying to use it. In practice, to use minizinc in this context would require converting a .mzn file to flatzinc, and calling manually flatzinc on it. This is cumbersome, and prevent a high level output. minizinc should be installed and usable. Thanks -- System Information: Debian Release: 9.1 APT prefers stable APT policy: (990, 'stable'), (500, 'stable-updates') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.9.0-4-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages flatzinc depends on: ii libc6 2.24-11+deb9u1 ii libgcc1 1:6.3.0-18 ii libgecode41v5 4.4.0-5 ii libgecodeflatzinc41v5 4.4.0-5 ii libgecodegist41v5 4.4.0-5 ii libstdc++6 6.3.0-18 flatzinc recommends no packages. flatzinc suggests no packages. -- no debconf information
