From f65f0b1ddffc314fe9404c0aa486bd2ea2d52891 Mon Sep 17 00:00:00 2001
From: udlbook <110402648+udlbook@users.noreply.github.com>
Date: Sun, 20 Apr 2025 10:25:38 -0400
Subject: [PATCH] Created using Colab

---
 Trees/SAT_Sudoku.ipynb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Trees/SAT_Sudoku.ipynb b/Trees/SAT_Sudoku.ipynb
index 5b5e106..8ff8b94 100644
--- a/Trees/SAT_Sudoku.ipynb
+++ b/Trees/SAT_Sudoku.ipynb
@@ -4,7 +4,7 @@
   "metadata": {
     "colab": {
       "provenance": [],
-      "authorship_tag": "ABX9TyOstvekb2RqZobU31GB2FtQ",
+      "authorship_tag": "ABX9TyPDBtiVN1Oic8RyyLIJuzAu",
       "include_colab_link": true
     },
     "kernelspec": {
@@ -62,7 +62,7 @@
         "# Install relevant packages\n",
         "!pip install z3-solver\n",
         "from z3 import *\n",
-        "import numpy as np\n",
+        "import numpy as np"
       ],
       "metadata": {
         "id": "mF6ngqCses3n"
@@ -267,4 +267,4 @@
       "outputs": []
     }
   ]
-}
+}
\ No newline at end of file