Move intro to Minizinc