add comments

Einstein/einsteins_puzzle.als

+// Alloy Encoding of the Einstein Puzzle
+// To solve it ProB2-UI use the following command
+// in the Symbolic Pane of the Animation View (bottom-left)
+// Type run0 and click on "Add and Check"
+// To see the visualisation Choose "Open VisB"
+//  in the visualisation menu, click on the "Open" icon
+// in the top-right of the VisB menu bar and select the
+//  file "einstein_puzzle_als.json"
+
 open util/ordering[House]
 sig House {
     color: Color,