mzn-fzn does not appear to function the same as the minizinc
executable.
I've attached a model with which the minizinc executable included in
the upstream release works, but which fails using mzn-fzn:
$ mzn-fzn color.mzn
unknown file:
MiniZinc: type error: assignment value for `Bing' has invalid
Package: minizinc
Followup-For: Bug #830973
Dear Maintainer,
This bug appears to be fixed in the latest upstream release (2.1.5) as it now
includes an executable "mzn-fzn" that works as the minizinc driver. However
mzn-gecode searches for a binary called "minizinc" so that script would need to
be
Package: minizinc
Version: 2.0.13+dfsg1-1
Severity: important
Dear Maintainer,
The Debian package for MiniZinc does not include the "minizinc" executable
that is usually shipped in the binaries available from the developers.
This prevent to use minizinc easily from the command-line to solve probl
3 matches
Mail list logo
