As mentioned in MiniZinc/MiniZincIDE#125, adding the -s option to fzn-gecode overrides -mode gist which is surprising.
The best would probably be to make it possible for Gist to also output statistics, but making sure that -mode gist will actually start Gist is enough to solve this bug.
As mentioned in MiniZinc/MiniZincIDE#125, adding the
-soption tofzn-gecodeoverrides-mode gistwhich is surprising.The best would probably be to make it possible for Gist to also output statistics, but making sure that
-mode gistwill actually start Gist is enough to solve this bug.