Updated constraints and added fail messages as well as survey that fails on most things
Merge branch 'master' of https://github.com/MihaiVlasceanu/SMDP