Constraint Satisfaction Problem lab to solve the N-Queens problem - View it on GitHub