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 type-inst:
expected `COLOR', actual `int'
=ERROR=
$ ~/Tools/MiniZincIDE-2.1.5-bundle-linux-x86_64/minizinc color.mzn
Si = BLUE;
Yan = GREEN;
Yu = PINK;
Xu = YELLOW;
Qing = BLUE;
Ji = PINK;
You = BLUE;
Bing = GREEN;
Yong = PINK;
Liang = GREEN;
Yi = BLUE;
Jing = GREEN;
Yang = BLUE;
Jiao = PINK;
--
enum COLOR = {GREEN, BLUE, PINK, YELLOW};
var COLOR: Si;
var COLOR: Yan;
var COLOR: Yu;
var COLOR: Xu;
var COLOR: Qing;
var COLOR: Ji;
var COLOR: You;
var COLOR: Bing;
var COLOR: Yong;
var COLOR: Liang;
var COLOR: Yi;
var COLOR: Jing;
var COLOR: Yang;
var COLOR: Jiao;
constraint Liang != Yong;
constraint Yong != Yi;
constraint Yong != Jing;
constraint Yong != Si;
constraint Yi != Jing;
constraint Yi != Jiao;
constraint Jiao != Jing;
constraint Jiao != Yang;
constraint Jing != Yang;
constraint Jing != Yong;
constraint Jing != Si;
constraint Jing != Yu;
constraint Yang != Yu;
constraint Yang != Xu;
constraint Yu != Si;
constraint Yu != Yan;
constraint Yu != Xu;
constraint Xu != Yan;
constraint Xu != Qing;
constraint Yan != Si;
constraint Yan != Ji;
constraint Yan != Ji;
constraint Yan != Qing;
constraint Qing != Ji;
constraint Ji != You;
constraint Ji != Bing;
constraint Ji != Si;
constraint You != Bing;
constraint Bing != Si;
solve satisfy;
