My final assignment in Algorithms and Data, where I must check a list of constraints for satisfiability