Gurobi MiniZinc vs FlatZinc

[Roberto Amadini]

Hi,

while trying to solve the attached instance with Gurobi, I realised that solving in 2 steps: 

  $ minizinc -c --solver gurobi model.mzn coffe_table.dzn -o x.fzn
  $ minizinc -a --solver gurobi x.fzn

does not find any solution, while running:

  $ minizinc -a --solver gurobi model.mzn coffe_table.dzn

actually finds solutions. Am I missing something in the compilation options?

Thanks,

Roberto

...