From aeb9afaa8459ff5ece5907f0a41660378207d522 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 22 May 2020 09:40:53 +0200
Subject: [PATCH] minor change
---
puzzles/Sudoku_Miracle.ipynb | 31 ++++++++++++++++++++++++++++---
1 file changed, 28 insertions(+), 3 deletions(-)
diff --git a/puzzles/Sudoku_Miracle.ipynb b/puzzles/Sudoku_Miracle.ipynb
index 751a788..20b721e 100644
--- a/puzzles/Sudoku_Miracle.ipynb
+++ b/puzzles/Sudoku_Miracle.ipynb
@@ -679,7 +679,7 @@
},
{
"cell_type": "code",
- "execution_count": 21,
+ "execution_count": 30,
"metadata": {},
"outputs": [
{
@@ -688,14 +688,14 @@
"Loaded machine: Sudoku_Horizontal_Vertical"
]
},
- "execution_count": 21,
+ "execution_count": 30,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"::load\n",
- "MACHINE Sudoku_Horizontal_Vertical\n",
+ "MACHINE Sudoku_Miracle\n",
"DEFINITIONS DOM == 1..9; D1 == 1..8; D2 == 2..9;\n",
" SUBSQ == { {1,2,3}, {4,5,6}, {7,8,9} };\n",
" ANIMATION_FUNCTION_DEFAULT == {r,c,i|r:1..9 & c:1..9 & i=0};\n",
@@ -999,6 +999,31 @@
":dot state_space"
]
},
+ {
+ "cell_type": "code",
+ "execution_count": 32,
+ "metadata": {},
+ "outputs": [
+ {
+ "data": {
+ "text/markdown": [
+ "**Explored States:** 1/2 \n",
+ "**Transitions:** 1"
+ ],
+ "text/plain": [
+ "Explored States: 1/2\n",
+ "Transitions: 1"
+ ]
+ },
+ "execution_count": 32,
+ "metadata": {},
+ "output_type": "execute_result"
+ }
+ ],
+ "source": [
+ ":stats"
+ ]
+ },
{
"cell_type": "code",
"execution_count": null,
--
GitLab