Skip to content

Commit ce2698d

Browse files
Merge pull request #34 from jruizaranguren/master
Fix assert solver check should equal to sat
2 parents e8c3cd0 + 9eef1b0 commit ce2698d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Exercises/1_Constraint Satisfaction/AIND-Constraint_Satisfaction.ipynb

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -321,7 +321,7 @@
321321
"for N in sizes:\n",
322322
" nq_solver = nqueens(N)\n",
323323
" start = time.perf_counter()\n",
324-
" assert nq_solver.check(), \"Uh oh...The solver failed to find a solution. Check your constraints.\"\n",
324+
" assert nq_solver.check() == sat, \"Uh oh...The solver failed to find a solution. Check your constraints.\"\n",
325325
" end = time.perf_counter()\n",
326326
" print(\"{}-queens: {}ms\".format(N, (end-start) * 1000))\n",
327327
" runtimes.append((end - start) * 1000)\n",

0 commit comments

Comments
 (0)