Giters

nhhung1810 / 8-queens-SAT

A SAT approach for 8-queens problem

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

8-queens-SAT

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

About

A SAT approach for 8-queens problem

Languages

Language:Jupyter Notebook 81.2%Language:Python 18.8%