senior-project-16f-03-constraints-req-obj.pdf