Skip to content

Commit

Permalink
Fix assert solver check should equal to sat
Browse files Browse the repository at this point in the history
  • Loading branch information
jruizaranguren authored Jul 26, 2021
1 parent a4f4659 commit 9eef1b0
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down

0 comments on commit 9eef1b0

Please sign in to comment.