From 81d0f42c6c476e5ad9dfae3c745d361e15f62cd5 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sun, 21 Mar 2021 16:43:18 +0100
Subject: [PATCH] add comments
---
Einstein/einsteins_puzzle.als | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/Einstein/einsteins_puzzle.als b/Einstein/einsteins_puzzle.als
index 71e081b..b2f77e3 100644
--- a/Einstein/einsteins_puzzle.als
+++ b/Einstein/einsteins_puzzle.als
@@ -1,3 +1,12 @@
+// 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,
--
GitLab