Constraint satisfaction code for my Intro to AI course