Hot Dog Proliferation solutions

Hot Dog Proliferation was solved using OCaml by 1 contestant.