MiniZinc: added archery_puzzle.mzn binary_sudoku.mzn sumbrero.mzn
Picat: added binary_sudoku.pi bitcoin.pi read_url.pi telephone_number.pi three_piles_of_coins.pi