WOW it surely is a small world — at least our corner of it. I was very glad your page with the MiniZinc solution was still up!
Edit to add: holy moses, all those solutions! I need to reach out to Einav to let her know she is famous :-)
Edit to add: holy moses, all those solutions! I need to reach out to Einav to let her know she is famous :-)
Here are some other constraint modelling implementations of this problem: http://hakank.org/common_cp_models/#einavpuzzle .