Works for minizinc examples!