Merge pull request #34 from jruizaranguren/master

Fix assert solver check should equal to sat
udacity · Jan 27, 2022 · ce2698d · ce2698d
2 parents e8c3cd0 + 9eef1b0
commit ce2698d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Exercises/1_Constraint Satisfaction/AIND-Constraint_Satisfaction.ipynb b/Exercises/1_Constraint Satisfaction/AIND-Constraint_Satisfaction.ipynb
@@ -321,7 +321,7 @@
     "for N in sizes:\n",
     "    nq_solver = nqueens(N)\n",
     "    start = time.perf_counter()\n",
-    "    assert nq_solver.check(), \"Uh oh...The solver failed to find a solution. Check your constraints.\"\n",
+    "    assert nq_solver.check() == sat, \"Uh oh...The solver failed to find a solution. Check your constraints.\"\n",
     "    end = time.perf_counter()\n",
     "    print(\"{}-queens: {}ms\".format(N, (end-start) * 1000))\n",
     "    runtimes.append((end - start) * 1000)\n",