How I Solved GCHQ's Xmas Card with Python and Pycosat. (Explanation and Source) (matthewearl.github.io) 6 points by kipi 10y ago ↗ HN
1 comment
[ 3.4 ms ] story [ 14.9 ms ] thread