Added minizinc problem files