dr_domi/udlbook
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update SAT_Sudoku.ipynb

Browse Source
This commit is contained in:
udlbook
2025-04-20 10:24:02 -04:00
committed by GitHub
parent 62779ec260
commit 1d6d6b6fbe
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Trees/SAT_Sudoku.ipynb
View File

@@ -63,8 +63,6 @@
"!pip install z3-solver\n", "!pip install z3-solver\n",
"from z3 import *\n", "from z3 import *\n",
"import numpy as np\n", "import numpy as np\n",
"import geopandas as gpd\n",
"import matplotlib.pyplot as plt"
], ],
"metadata": { "metadata": {
"id": "mF6ngqCses3n" "id": "mF6ngqCses3n"
@@ -269,4 +267,4 @@
"outputs": [] "outputs": []
} }
] ]
} }