MiniZinc, Picat: Forgot to add the new files: minizinc/euler5.mzn minizinc/gcd_lcm.mzn minizinc/tictactoe_avoidance.mzn picat/leap_frog_puzzle.pi picat/tictactoe_avoidance.pi