../../Task/Zebra-puzzle/MiniZinc