A SAT approach for 8-queens problem
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
A SAT approach for 8-queens problem Google Colab notebook: link