Finished Constraint Satisfaction Problem Solver Project