4 ms·Solving the GCHQ Christmas Puzzle (part 1) with Constraint Programming2 points by nmadden 11y ago