Merge branch 'master' into Satisfier
Continued to Build Model Functionality
Merge branch 'Satisfier'