Modified the constraint solver to parse the new format of constraints.