How I Solved GCHQ's Xmas Card with Python and Pycosat. (Explanation and Source)http://matthewearl.github.io/2015/12/10/gchq-xmas-card/ by kipi • 11 years ago 6 1 11 years agoMAmatthewearl.github.io