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 :-)