/Project-2-AI

SAT approach for 8-queens problem

Primary LanguagePython

Project-2-AI