Hard constraints to be checked at each level (assignment).
Merge branch 'master' of https://github.com/albchu/CPSC-433-Project