Google Code Jam solutions in Picat, part of my CUNY RF project. https://mbionchi.github.io/gcj-picat/index.html