../../Task/Classes/MiniZinc