Created using Colab

This commit is contained in:
udlbook
2025-04-19 16:35:10 -04:00
parent 2c916d9a87
commit b9403e091b

View File

@@ -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",