nqueens_sat.py 3.18 KB