From b9403e091bd7c39adfb9eeea8a059a7f288465b4 Mon Sep 17 00:00:00 2001 From: udlbook <110402648+udlbook@users.noreply.github.com> Date: Sat, 19 Apr 2025 16:35:10 -0400 Subject: [PATCH] Created using Colab --- Trees/SAT_Sudoku_Answers.ipynb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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",