/NQueenToSAT

A simple python code which reduces the N Queen Problem to Boolean Satisfiability Problem.

Primary LanguagePythonMIT LicenseMIT

This repository is not active