Added MiniZinc parser