From 310b71e203e3b078fe71e8b6aa4dd1a56b06395d Mon Sep 17 00:00:00 2001
From: udlbook <110402648+udlbook@users.noreply.github.com>
Date: Sat, 19 Apr 2025 12:48:29 -0400
Subject: [PATCH] Created using Colab

---
 Trees/SAT_Graph_Coloring.ipynb | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Trees/SAT_Graph_Coloring.ipynb b/Trees/SAT_Graph_Coloring.ipynb
index fef93a0..9cc3656 100644
--- a/Trees/SAT_Graph_Coloring.ipynb
+++ b/Trees/SAT_Graph_Coloring.ipynb
@@ -4,7 +4,7 @@
   "metadata": {
     "colab": {
       "provenance": [],
-      "authorship_tag": "ABX9TyMogvy3h9v1JBEpREA36XTE",
+      "authorship_tag": "ABX9TyPST5sXc/A8YZYz0OFEURdn",
       "include_colab_link": true
     },
     "kernelspec": {
@@ -62,7 +62,6 @@
         "!pip install z3-solver\n",
         "from z3 import *\n",
         "import numpy as np\n",
-        "from itertools import combinations\n",
         "import geopandas as gpd\n",
         "import matplotlib.pyplot as plt"
       ],