diff --git a/Trees/SAT_Sudoku_Answers.ipynb b/Trees/SAT_Sudoku_Answers.ipynb index 8c045ad..fa2d6f5 100644 --- a/Trees/SAT_Sudoku_Answers.ipynb +++ b/Trees/SAT_Sudoku_Answers.ipynb @@ -4,7 +4,7 @@ "metadata": { "colab": { "provenance": [], - "authorship_tag": "ABX9TyMDkDz3RrsH0nJVTdsejhO7", + "authorship_tag": "ABX9TyOLnEFh9BVTdtSWc9zHSjyA", "include_colab_link": true }, "kernelspec": { @@ -38,7 +38,7 @@ { "cell_type": "markdown", "source": [ - "# Graph coloring\n", + "# Solving Soduku problems with SAT\n", "\n", "The purpose of this Python notebook is to use investigate using SAT to solve Sudoku problems. \n", "\n",