Package: minizinc
Version: 2.0.14+dfsg1-1+b1
Followup-For: Bug #830973
The following script can be used as a workaround for the missing
'minizinc' executable. It replaces the 'mzn-gecode' script provided by
the flatzinc package. It will conver the mzn to fzn and then pipe to
fzn-gecode. There may be a better method but this seems to work.
--- Script:
prefix=/usr
datarootdir=${prefix}/share
FLATZINC_CMD=fzn-gecode mzn2fzn -I ${datarootdir}/gecode/mznlib \
"$@" --output-to-stdout --no-output-ozn | fzn-gecode -
---
-- System Information:
Debian Release: 9.0
APT prefers testing-debug
APT policy: (500, 'testing-debug'), (500, 'testing')
Architecture: amd64
(x86_64)
Foreign Architectures: i386
Kernel: Linux 4.9.0-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages minizinc depends on:
ii flatzinc 4.4.0-4
ii libc6 2.24-10
ii libgcc1 1:6.3.0-14
ii libstdc++6 6.3.0-14
minizinc recommends no packages.
minizinc suggests no packages.
-- no debconf information
