fill in the blanks
adasd
added code to parse constraints. next: test etc.
asdaD
Merge pull request #23 from ucsd-progsys/cnstrparse

Cnstrparse