Add check for hard constraints

Solution class can now check for hard constraints
H1, H2, H3, H4 in its internal environment