How I Solved GCHQ's Xmas Card with Python and Pycosat. (Explanation and Source) · HackerTrans