diff --git a/Trees/SAT_Construction2_Answers.ipynb b/Trees/SAT_Construction2_Answers.ipynb index bc73e2a..bdbe082 100644 --- a/Trees/SAT_Construction2_Answers.ipynb +++ b/Trees/SAT_Construction2_Answers.ipynb @@ -4,7 +4,7 @@ "metadata": { "colab": { "provenance": [], - "authorship_tag": "ABX9TyNVGP04pippHj/aR+N+9Vyv", + "authorship_tag": "ABX9TyMTKKBKDWLLdEGY6POpEgt/", "include_colab_link": true }, "kernelspec": { @@ -38,7 +38,7 @@ { "cell_type": "markdown", "source": [ - "# SAT Constructions\n", + "# SAT Constructions 2\n", "\n", "The purpose of this Python notebook is to investigate the SAT construction that tests if a graph is connected.\n", "\n",