diff --git a/Trees/SAT_Sudoku.ipynb b/Trees/SAT_Sudoku.ipynb index 8ff8b94..d005b63 100644 --- a/Trees/SAT_Sudoku.ipynb +++ b/Trees/SAT_Sudoku.ipynb @@ -4,7 +4,7 @@ "metadata": { "colab": { "provenance": [], - "authorship_tag": "ABX9TyPDBtiVN1Oic8RyyLIJuzAu", + "authorship_tag": "ABX9TyNm1191WQYfb72RCYRciluw", "include_colab_link": true }, "kernelspec": { @@ -178,7 +178,7 @@ " sat_result = s.check()\n", " print(sat_result)\n", "\n", - " # If it isn't then return\n", + " # If it is then print out solution, otherwise return\n", " if sat_result == z3.sat:\n", " result = s.model()\n", " x_vals = np.array([[[int(bool(result[z3.Bool(\"x_{%d,%d,%d}\" % (i, j, k))])) for k in range(9)] for j in range(9)] for i in range(9)] )\n",