diff --git a/Trees/SAT_Sudoku.ipynb b/Trees/SAT_Sudoku.ipynb index 5b5e106..8ff8b94 100644 --- a/Trees/SAT_Sudoku.ipynb +++ b/Trees/SAT_Sudoku.ipynb @@ -4,7 +4,7 @@ "metadata": { "colab": { "provenance": [], - "authorship_tag": "ABX9TyOstvekb2RqZobU31GB2FtQ", + "authorship_tag": "ABX9TyPDBtiVN1Oic8RyyLIJuzAu", "include_colab_link": true }, "kernelspec": { @@ -62,7 +62,7 @@ "# Install relevant packages\n", "!pip install z3-solver\n", "from z3 import *\n", - "import numpy as np\n", + "import numpy as np" ], "metadata": { "id": "mF6ngqCses3n" @@ -267,4 +267,4 @@ "outputs": [] } ] -} +} \ No newline at end of file