A SAT approach for 8-queens problem
Primary LanguageJupyter Notebook
A SAT approach for 8-queens problem Google Colab notebook: link