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

Created using Colab

Browse Source
This commit is contained in:
udlbook
2025-04-20 10:25:38 -04:00
parent 1d6d6b6fbe
commit f65f0b1ddf
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Trees/SAT_Sudoku.ipynb
View File

@@ -4,7 +4,7 @@
"metadata": { "metadata": {
"colab": { "colab": {
"provenance": [], "provenance": [],
"authorship_tag": "ABX9TyOstvekb2RqZobU31GB2FtQ", "authorship_tag": "ABX9TyPDBtiVN1Oic8RyyLIJuzAu",
"include_colab_link": true "include_colab_link": true
}, },
"kernelspec": { "kernelspec": {
@@ -62,7 +62,7 @@
"# Install relevant packages\n", "# Install relevant packages\n",
"!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"
], ],
"metadata": { "metadata": {
"id": "mF6ngqCses3n" "id": "mF6ngqCses3n"