minizinc --solver Gecode conversion_0.mzn conversion_0.dzn
:: minizinc --solver Chuffed conversion_0.mzn conversion_0.data