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

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

diff --git a/Trees/SAT_Sudoku.ipynb b/Trees/SAT_Sudoku.ipynb
index 8ff8b94..d005b63 100644
--- a/Trees/SAT_Sudoku.ipynb
+++ b/Trees/SAT_Sudoku.ipynb
@@ -4,7 +4,7 @@
   "metadata": {
     "colab": {
       "provenance": [],
-      "authorship_tag": "ABX9TyPDBtiVN1Oic8RyyLIJuzAu",
+      "authorship_tag": "ABX9TyNm1191WQYfb72RCYRciluw",
       "include_colab_link": true
     },
     "kernelspec": {
@@ -178,7 +178,7 @@
         "  sat_result = s.check()\n",
         "  print(sat_result)\n",
         "\n",
-        "  # If it isn't then return\n",
+        "  # If it is then print out solution, otherwise return\n",
         "  if sat_result == z3.sat:\n",
         "    result = s.model()\n",
         "    x_vals = np.array([[[int(bool(result[z3.Bool(\"x_{%d,%d,%d}\" % (i, j, k))])) for k in range(9)] for j in range(9)] for i in range(9)] )\n",