From eb29a282846177f28bc7579ec7eae1a8de9cd817 Mon Sep 17 00:00:00 2001
From: udlbook <110402648+udlbook@users.noreply.github.com>
Date: Thu, 3 Apr 2025 16:48:48 -0400
Subject: [PATCH] Created using Colab

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

diff --git a/Trees/SAT_Construction_Answers.ipynb b/Trees/SAT_Construction_Answers.ipynb
index 9f97ecf..03de549 100644
--- a/Trees/SAT_Construction_Answers.ipynb
+++ b/Trees/SAT_Construction_Answers.ipynb
@@ -4,7 +4,7 @@
   "metadata": {
     "colab": {
       "provenance": [],
-      "authorship_tag": "ABX9TyPLe8YcIZiEqqIljGaiTGMy",
+      "authorship_tag": "ABX9TyPyoipv7uhZXom6dIv+sZ0Z",
       "include_colab_link": true
     },
     "kernelspec": {
@@ -40,7 +40,7 @@
       "source": [
         "# SAT Constructions\n",
         "\n",
-        "The purpose of this Python notebook is to use investigate SAT constructions that\n",
+        "The purpose of this Python notebook is to use investigate SAT constructions that impose constraints on sets of variables.  We'll build constructions for ensuring all of the variables are the same,  that only one of the variables is true, that at leats $K$ of the variables are true, that fewer than $K$ of the variables are true and that exactly $K$ of the variables are true.\n",
         "\n",
         "You can save a local copy of this notebook in your Google account and work through it in Colab (recommended) or you can download the notebook and run it locally using Jupyter notebook or similar.\n",
         "\n",