Added Constraint and Solution data types to Utils, modified solver to use them.
Merge pull request #23 from Winston-Chan/nathan

Added Constraint and Solution data types to Utils, modified solver to use them.