Download python version 3.9 or lower
Install pip
pip install pygame python-sat numpy
git clone https://github.com/nnaaaa/EightQueens.git
make
At the moment that i perform this project, installing "python-sat" will raise error when my python version is 3.10. So i suggest you to install python 3.9
basic knowledge about python: https://www.w3schools.com/python/default.asp
basic knowledge about SAT: http://www.sfu.ca/~tjd/310summer2019/chp7_proplogic.html
example solution use or-tools (but we use pysat): https://developers.google.com/optimization/cp/queens
chose file: https://stackoverflow.com/questions/63801960/how-to-prompt-user-to-open-a-file-with-python3-pygame
background: https://stackoverflow.com/questions/28005641/how-to-add-a-background-image-into-pygame
button: https://stackoverflow.com/questions/63799644/pygame-how-do-i-create-a-button-with-text
pysat: https://pysathq.github.io/docs/html/api/solvers.html#pysat.solvers.Solver