[hakank]

Here are some implementations in different constraint languages on this puzzle (which I call the "Einav puzzle"): http://www.hakank.org/common_cp_models/#einavpuzzle

[gcanyon]

Hakan, good to see you! I love how we run into each other whenever constraint programming comes up on HN :-)